Verification, Model Checking, and Abstract Interpretation
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014
66,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783642540127
- ISBN-10
- 3642540120
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2014
- Publication date
- 2014-01-22
- Pages
- 493
- Dimensions
- 235x155x