Computer Aided Verification: 33Rd International Conference, Cav 2021, Virtual Event, July 20€“23, 2021, Proceedings, Part Ii (Lecture Notes In Computer Science, 12760)

Springer
SKU:
9783030816872
|
UPC:
9783030816872
$53.25
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
  • | Author: Alexandra Silva, K. Rustan M. Leino
  • | Publisher: Springer
  • | Publication Date: July 17, 2021
  • | Number of Pages: 963 pages
  • | Language: English
  • | Binding: Paperback
  • | ISBN-10: 3030816877
  • | ISBN-13: 9783030816872
Author:
Alexandra Silva, K. Rustan M. Leino
Publisher:
Springer
Publication Date:
July 17, 2021
Number of pages:
963 pages
Language:
English
Binding:
Paperback
ISBN-10:
3030816877
ISBN-13:
9783030816872