Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
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 ... (Lecture Notes in Computer Science (10982))
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 18, 2020
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
October 7, 2021 | Edited by ImportBot | import existing book |
July 18, 2020 | Created by ImportBot | Imported from amazon.com record |