Computer Aided Verification
×Close
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
Donate this book to the Internet Archive library.
×CloseHooray! You've discovered a title that's missing from our library. Can you help donate a copy?
- If you own this book, you can mail it to our address below.
- You can also purchase this book from a vendor and ship it to our address:
Benefits of donating
When you donate a physical book to the Internet Archive, your book will enjoy:
- Beautiful high-fidelity digitization
- Long-term archival preservation
- Free controlled digital library access by the print-disabled and public†
Open Library is a project of the Internet Archive, a 501(c)(3) non-profit
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. |