Akash Lal

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

1. 

   Verified Software. Theories, Tools and Experiments.

   2023

   • Häftad 571 kr
   • E-bok 755 kr
2. 

   Computer Aided Verification

   2023

   • Häftad 458 kr
   • Häftad 458 kr
   • Häftad 458 kr
3. 

   Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected

   2023

   • Övrigt 665 kr
4. 

   Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

   2023

   • Övrigt 672 kr
5. 

   Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

   2023

   • Övrigt 665 kr
6. 

   Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

   2023

   • Övrigt 665 kr
7. 

   Verification, Model Checking, and Abstract Interpretation

   2015

   • Häftad 571 kr
   • E-bok 755 kr