Verification, Model Checking, And Abstract Interpretation: 22Nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17Â19, 2021, Proceedings (Lecture Notes In Computer Science, 12597)
Springer
ISBN13:
9783030670665
$118.37
- | Author: Fritz Henglein, Sharon Shoham, Yakir Vizel
- | Publisher: Springer
- | Publication Date: Feb 28, 2021
- | Number of Pages: 619 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 303067066X
- | ISBN-13: 9783030670665
- Author:
- Fritz Henglein, Sharon Shoham, Yakir Vizel
- Publisher:
- Springer
- Publication Date:
- Feb 28, 2021
- Number of pages:
- 619 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 303067066X
- ISBN-13:
- 9783030670665