Hoppa till sidans huvudinnehåll

Akash Lal - Böcker

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

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

719 kr

Skickas inom 10-15 vardagar

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

579 kr

Skickas inom 10-15 vardagar

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

579 kr

Skickas inom 10-15 vardagar

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

579 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

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

AvDeepak D'Souza,Akash Lal m. fl.

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar