This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
| ISBN: | 9783030945824 |
| Publication date: | 14th January 2022 |
| Author: | Bernd Finkbeiner |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 520 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Artificial intelligence Mathematical theory of computation Mathematical logic Network hardware |
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Verification, Model Checking, and Abstract Interpretation features in the following genres: Artificial intelligence, Mathematical theory of computation, Mathematical logic, Network hardware
Paperback. £71.99, down from the £79.99 cover price. Not Available.
Verification, Model Checking, and Abstract Interpretation was written by Bernd Finkbeiner and published by Springer Nature Switzerland AG
Verification, Model Checking, and Abstract Interpretation has 520 pages
Yes it is part of Lecture Notes in Computer Science series
£71.99, reduced from £79.99. Not Available.