Hoppa till sidans huvudinnehåll

Akash Lal – författare

Visar alla böcker från författaren Akash Lal.
5 produkter
Akash Lal, Stefano Tonetta - Verified Software. Theories, Tools and Experiments., Häftad
Del 13800 - Lecture Notes in Computer Science

Verified Software. Theories, Tools and Experiments.

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

AvAkash Lal,Stefano Tonetta

Häftad, Engelska, 2023

729 kr

Skickas inom 10-15 vardagar

Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
Del 13965 - Lecture Notes in Computer Science

Computer Aided Verification

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

AvConstantin Enea,Akash Lal

Häftad, Engelska, 2023

589 kr

Skickas inom 10-15 vardagar

Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
Del 13964 - Lecture Notes in Computer Science

Computer Aided Verification

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

AvConstantin Enea,Akash Lal

Häftad, Engelska, 2023

589 kr

Skickas inom 10-15 vardagar

Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
Del 13966 - Lecture Notes in Computer Science

Computer Aided Verification

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

AvConstantin Enea,Akash Lal

Häftad, Engelska, 2023

589 kr

Skickas inom 10-15 vardagar

Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

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

AvDeepak D'Souza,Akash Lalm. fl.

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar