Overview
- | Author: Shuvendu K. Lahiri, Chao Wang
- | Publisher: Springer
- | Publication Date: Jul 16, 2020
- | Number of Pages: 688 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030532879
- | ISBN-13: 9783030532871
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21û24, 2020, Proceedings, Part I
$56.30
(No reviews yet)
Write a Review
Write a Review
Springer
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21û24, 2020, Proceedings, Part I
Product Details
- Author:
- Shuvendu K. Lahiri, Chao Wang
- Publisher:
- Springer
- Publication Date:
- Jul 16, 2020
- Number of pages:
- 688 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030532879
- ISBN-13:
- 9783030532871
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 : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21û24, 2020, Proceedings, Part II
Springer
$56.30
Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6û9, 2020, Proceedings
Springer
$118.37
Software Verification: 12Th International Conference, Vstte 2020, And 13Th International Workshop, Nsv 2020, Los Angeles, Ca, Usa, July 20Â21, 2020, ... (Lecture Notes In Computer Science, 12549)
Springer
$92.51
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
Springer
$56.30