Automated Technology For Verification And Analysis: 19Th International Symposium, Atva 2021, Gold Coast, Qld, Australia, October 1822, 2021, Proceedings (Lecture Notes In Computer Science)
Springer
ISBN13:
9783030888848
$87.33
- | Author: Zhe Hou|Vijay Ganesh
- | Publisher: Springer
- | Publication Date: Nov 14, 2021
- | Number of Pages: 382 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030888843
- | ISBN-13: 9783030888848
- Author:
- Zhe Hou|Vijay Ganesh
- Publisher:
- Springer
- Publication Date:
- Nov 14, 2021
- Number of pages:
- 382 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030888843
- ISBN-13:
- 9783030888848