Isil Dillig

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

1. 

   Computer Aided Verification

   2020

   • Häftad 822 kr
   • Inbunden 910 kr
   • Häftad 910 kr
   • Inbunden 948 kr
2. 

   Computer Aided Verification

   2019

   • Häftad 571 kr
   • Häftad 571 kr
3. 

   Verification, Model Checking, and Abstract Interpretation

   2018

   • Häftad 572 kr
   • E-bok 732 kr