Check nearby libraries
Buy this book
When you buy books using these links the Internet Archive may earn a small commission.
An edition of Computer Aided Verification
(2018)
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... I
by Hana Chockler and Georg Weissenbacher
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
This edition doesn't have a description yet. Can you add one?
Subjects
Computer scienceShowing 5 featured editions. View all 5 editions?
Book Details
Edition Notes
Source title: Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... I (Lecture Notes in Computer Science (10981))
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created June 5, 2020
- 2 revisions
October 7, 2021 | Edited by ImportBot | import existing book |
June 5, 2020 | Created by ImportBot | Imported from amazon.com record. |