An edition of Computer Aided Verification
(2017)
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
by Rupak Majumdar and Viktor Kunčak
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer software, verification| Edition | Availability |
|---|---|
1
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Jul 13, 2017, Springer
paperback
3319633864 9783319633862
|
zzzz
|
2
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Jul 13, 2017, Springer
paperback
3319633899 9783319633893
|
aaaa
|
Book Details
Edition Notes
Source title: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science (10427))
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| October 5, 2021 | Edited by ImportBot | import existing book |
| June 3, 2020 | Created by ImportBot | import new book |