Kedar Namjoshi – författare

Visar alla böcker från författaren Kedar Namjoshi.

3 produkter

Kategorier

3 produkter

Del 12913
Del 12913 - Lecture Notes in Computer Science
Static Analysis
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
AvCezara Drăgoi,Suvam Mukherjeem. fl.
Häftad, Engelska, 2021
1 169 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
AvKedar Namjoshi,Tomohiro Yonedam. fl.
Häftad, Engelska, 2007
729 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
AvKedar Namjoshi,Andreas Zellerm. fl.
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar