We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

- 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

part of the Lecture Notes in Computer Science series

part of the Theoretical Computer Science and General Issues series

Verification, Model Checking, and Abstract Interpretation Save 11% from RPP Save 11%
About Verification, Model Checking, and Abstract Interpretation

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.

Show more
  • Language:
  • English
  • ISBN:
  • 9783030670665
  • Binding:
  • Paperback
  • Pages:
  • 604
  • Published:
  • January 12, 2021
  • Edition:
  • 12021
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 937 g.
Delivery: 2-4 weeks
Expected delivery: November 1, 2024

Description of Verification, Model Checking, and Abstract Interpretation

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.

User ratings of Verification, Model Checking, and Abstract Interpretation



Others also bought..
Find similar books
The book Verification, Model Checking, and Abstract Interpretation can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.