Akash Lal – författare

Visar alla böcker från författaren Akash Lal.

5 produkter

1. 

   Verified Software. Theories, Tools and Experiments.

   14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers

   Av Akash Lal, Stefano Tonetta

   Häftad, 2023

   739 kr

   Lägg i varukorg

2. 

   Computer Aided Verification

   35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

   Av Constantin Enea, Akash Lal

   Häftad, 2023

   599 kr

   Lägg i varukorg

3. 

   Computer Aided Verification

   35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

   Av Constantin Enea, Akash Lal

   Häftad, 2023

   599 kr

   Lägg i varukorg

4. 

   Computer Aided Verification

   35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

   Av Constantin Enea, Akash Lal

   Häftad, 2023

   599 kr

   Lägg i varukorg

5. 

   Verification, Model Checking, and Abstract Interpretation

   16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

   Av Deepak D'Souza, Akash Lal m. fl.

   Häftad, 2015

   739 kr

   Lägg i varukorg