Akash Lal – författare
Visar alla böcker från författaren Akash Lal. Handla med fri frakt och snabb leverans.
11 produkter
Verified Software. Theories, Tools and Experiments.
14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
Häftad, 2023
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The …
Verified Software. Theories, Tools and Experiments.
14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
E-bok, 2023
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022. The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. …
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
Häftad, 2023
455 kr
Lägg i varukorg
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and …
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
Häftad, 2023
455 kr
Lägg i varukorg
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and …
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
Häftad, 2023
455 kr
Lägg i varukorg
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and …
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The …
Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Av Kim Guldstrand Larsen, Akash Lal m. fl.
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The …
