Kedar Namjoshi – författare

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

3 produkter

1. 

   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, 2021

   1179 kr

   Lägg i varukorg

2. 

   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, 2007

   739 kr

   Lägg i varukorg

3. 

   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, 2011

   739 kr

   Lägg i varukorg