Isil Dillig – författare

Visar alla böcker från författaren Isil Dillig.

7 produkter

1. 

   Computer Aided Verification

   Av Serdar Tasiran, Isil Dillig

   Häftad, 2020

   1109 kr

   Lägg i varukorg

2. 

   Computer Aided Verification

   Av Serdar Tasiran, Isil Dillig

   Inbunden, 2020

   1179 kr

   Lägg i varukorg

3. 

   Computer Aided Verification

   Av Serdar Tasiran, Isil Dillig

   Häftad, 2020

   1179 kr

   Lägg i varukorg

4. 

   Computer Aided Verification

   Av Serdar Tasiran, Isil Dillig

   Inbunden, 2020

   1259 kr

   Lägg i varukorg

5. 

   Computer Aided Verification

   31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

   Av Isil Dillig, Serdar Tasiran

   Häftad, 2019

   729 kr

   Lägg i varukorg

6. 

   Computer Aided Verification

   31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

   Av Isil Dillig, Serdar Tasiran

   Häftad, 2019

   729 kr

   Lägg i varukorg

7. 

   Verification, Model Checking, and Abstract Interpretation

   19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

   Av Isil Dillig, Jens Palsberg

   Häftad, 2018

   729 kr

   Lägg i varukorg