Kedar Namjoshi
Retrieve the information about Kedar Namjoshi and his books on the go! Keep your project up to date with the ISBNdb book database searchable via API with 19 data points per book available.
Hardware And Software: Verification And Testing
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Programming and Software Engineering)
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... (Lecture Notes in Computer Science, 6405)
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
This is an excerpt from the ISBNdb database. Need more data? Get a FREE 7 day trial and get access to the full database of over 35 million books and all data points including title, author, publisher, publish date, binding, pages, list price, and more.
Get started Free