Akash Lal – författare
Visar alla böcker från författaren Akash Lal. Handla med fri frakt och snabb leverans.
9 produkter
9 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
Häftad, Engelska, 2023
558 kr
Skickas inom 10-15 vardagar
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.
644 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
Häftad, Engelska, 2023
448 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.
Engelska, 2023
644 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
Häftad, Engelska, 2023
448 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.
Engelska, 2023
644 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
Häftad, Engelska, 2023
448 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.
Engelska, 2023
644 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2015
558 kr
Skickas inom 10-15 vardagar
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.