Kedar Namjoshi – författare
Visar alla böcker från författaren Kedar Namjoshi.
3 produkter
3 produkter
Del 12913 - Lecture Notes in Computer Science
Static Analysis
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
Häftad, Engelska, 2021
1 149 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Häftad, Engelska, 2007
719 kr
Skickas inom 10-15 vardagar
Hardware and Software: Verification and Testing
5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar