Shuvendu K. Lahiri – författare

Visar alla böcker från författaren Shuvendu K. Lahiri.

3 produkter

1. 

   Automated Technology for Verification and Analysis

   16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

   Av Shuvendu K. Lahiri, Chao Wang

   Häftad, 2018

   729 kr

   Lägg i varukorg

2. 

   Computer Aided Verification

   32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

   Av Shuvendu K. Lahiri, Chao Wang

   Häftad, 2020

   589 kr

   Lägg i varukorg

3. 

   Computer Aided Verification

   32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

   Av Shuvendu K. Lahiri, Chao Wang

   Häftad, 2020

   589 kr

   Lägg i varukorg