Kedar Namjoshi - Böcker

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

3 produkter

Kategorier

3 produkter

Static Analysis

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

Av Cezara Drăgoi, Suvam Mukherjee m. fl

Häftad, Engelska, 2021

1 159 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Av Kedar Namjoshi, Tomohiro Yoneda m. 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

Av Kedar Namjoshi, Andreas Zeller m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar