Hoppa till sidans huvudinnehåll

Kedar Namjoshi – författare

Visar alla böcker från författaren Kedar Namjoshi.
3 produkter
Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi - Static Analysis, Häftad
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 159 kr

Skickas inom 10-15 vardagar

Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura - Automated Technology for Verification and Analysis, Häftad

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

Kedar Namjoshi, Andreas Zeller, Avi Ziv - Hardware and Software: Verification and Testing, Häftad

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