Akash Lal - Böcker

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

5 produkter

Kategorier

5 produkter

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, Engelska, 2023

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

589 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

589 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

589 kr

Skickas inom 10-15 vardagar

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, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar