Kedar Namjoshi – författare

Visar alla böcker från författaren Kedar Namjoshi. Handla med fri frakt och snabb leverans.

6 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

   906 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page …

2. 

   Static Analysis

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

   Av Kedar Namjoshi, Suvam Mukherjee m. fl.

   E-bok, 2021

   1150 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021. The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page …

3. 

   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

   569 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, …

4. 

   Automated Technology for Verification and Analysis

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

   Av Yoshio Okamura, Teruo Higashino m. fl.

   E-bok, 2007

   732 kr

   Lägg i varukorg

5. 

   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

   569 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 …

6. 

   Hardware and Software: Verification and Testing

   5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

   Av Avi Ziv, Andreas Zeller m. fl.

   E-bok, 2011

   755 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 …