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

- 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, 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
About Verification, Model Checking, and Abstract Interpretation

The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Show more
  • Language:
  • English
  • ISBN:
  • 9783642540127
  • Binding:
  • Paperback
  • Pages:
  • 493
  • Published:
  • January 22, 2014
  • Edition:
  • 2014
  • Dimensions:
  • 155x235x26 mm.
  • Weight:
  • 7664 g.
Delivery: 1-2 weeks
Expected delivery: October 20, 2024

Description of Verification, Model Checking, and Abstract Interpretation

The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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.