Hoppa till sidans huvudinnehåll

Kedar Namjoshi - Böcker

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

Static Analysis

28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

AvCezara Drăgoi,Suvam Mukherjee m. fl.

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

AvKedar Namjoshi,Tomohiro Yoneda m. fl.

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

AvKedar Namjoshi,Andreas Zeller m. fl.

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar