An edition of Computer Aided Verification
(2015)
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
by Daniel Kroening and Corina S. Păsăreanu
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 4 featured editions. View all 4 editions?
| Edition | Availability |
|---|---|
1
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
2015, Springer London, Limited
in English
3319216686 9783319216683
|
aaaa
Libraries near you:
WorldCat
|
2
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Jul 23, 2015, Springer
paperback
3319216678 9783319216676
|
zzzz
Libraries near you:
WorldCat
|
|
3
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
2015, Springer London, Limited
in English
3319216902 9783319216904
|
zzzz
Libraries near you:
WorldCat
|
4
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Jul 27, 2015, Springer
paperback
3319216899 9783319216898
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
ID Numbers
Community Reviews (0)
Feedback?
| August 24, 2020 | Edited by ImportBot | import existing book |
| May 16, 2020 | Created by ImportBot | import new book |