Computer Aided Verification: 33Rd International Conference, Cav 2021, Virtual Event, July 2023, 2021, Proceedings, Part I (Lecture Notes In Computer Science, 12759)
Springer
$56.30
(No reviews yet)
Write a Review
Springer
Computer Aided Verification: 33Rd International Conference, Cav 2021, Virtual Event, July 2023, 2021, Proceedings, Part I (Lecture Notes In Computer Science, 12759)
- | Author: Alexandra Silva, K. Rustan M. Leino
- | Publisher: Springer
- | Publication Date: 30-Aug-21
- | Number of Pages: 946 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030816842
- | ISBN-13: 9783030816841
- Author:
- Alexandra Silva, K. Rustan M. Leino
- Publisher:
- Springer
- Publication Date:
- 30-Aug-21
- Number of pages:
- 946 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030816842
- ISBN-13:
- 9783030816841
-
-
Sale
-
-
