Akash Lal – författare

Visar alla böcker från författaren Akash Lal. Handla med fri frakt och snabb leverans.

11 produkter

Kategorier

11 produkter

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
572 kr
Skickas inom 10-15 vardagar
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 papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Verified Software. Theories, Tools and Experiments.
14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
AvStefano Tonetta,Akash Lal
E-bok
Engelska, 2023
732 kr
Läs direkt efter köp
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 papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected
AvAkash Lal,Stefano Tonetta
Engelska, 2023
665 kr
Skickas inom 5-8 vardagar
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
459 kr
Skickas inom 10-15 vardagar
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 selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
AvConstantin Enea,Akash Lal
Engelska, 2023
672 kr
Skickas inom 5-8 vardagar
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
459 kr
Skickas inom 10-15 vardagar
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 selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
AvConstantin Enea,Akash Lal
Engelska, 2023
665 kr
Skickas inom 5-8 vardagar
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
459 kr
Skickas inom 10-15 vardagar
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 selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
AvConstantin Enea,Akash Lal
Engelska, 2023
665 kr
Skickas inom 5-8 vardagar
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
572 kr
Skickas inom 10-15 vardagar
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 papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.
Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
AvKim Guldstrand Larsen,Akash Lalm. fl.
E-bok
PDF, Engelska, 2014
739 kr
Läs direkt efter köp
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 papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

Företag, bibliotek eller offentlig verksamhet?

Akash Lal – författare

Verified Software. Theories, Tools and Experiments.

Verified Software. Theories, Tools and Experiments.

Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected

Computer Aided Verification

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Computer Aided Verification

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Computer Aided Verification

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration