Overview
- | 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
Computer Aided Verification: 33Rd International Conference, Cav 2021, Virtual Event, July 20Â23, 2021, Proceedings, Part Ii (Lecture Notes In Computer Science, 12760)
$56.30
(No reviews yet)
Write a Review
Write a Review
Springer
Computer Aided Verification: 33Rd International Conference, Cav 2021, Virtual Event, July 20Â23, 2021, Proceedings, Part Ii (Lecture Notes In Computer Science, 12760)
Product Details
- 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
Categories
Paperback
Reviews
0 Reviews
No reviews yet.
Share your experience and help another reader choose their next book.
You may also like
Shop all
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
Artificial Intelligence And Soft Computing: 20Th International Conference, Icaisc 2021, Virtual Event, June 2123, 2021, Proceedings, Part Ii (Lecture Notes In Computer Science)
Springer
$149.40
$139.98
Reversible Computation: 13Th International Conference, Rc 2021, Virtual Event, July 7Â8, 2021, Proceedings (Lecture Notes In Computer Science, 12805)
Springer
$92.51
Runtime Verification: 21St International Conference, Rv 2021, Virtual Event, October 1114, 2021, Proceedings (Lecture Notes In Computer Science, 12974)
Springer
$87.33
High Performance Computing: 36Th International Conference, Isc High Performance 2021, Virtual Event, June 24 July 2, 2021, Proceedings (Lecture Notes In Computer Science, 12728)
Springer
$118.37