An edition of Computer Aided Verification
(2014)
Computer Aided Verification
26th International Conference, CAV 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
by Armin Biere and Roderick Bloem
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer software, verification, Computer science, Computer network architectures, Software engineering, Logic design, Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Computer Systems Organization and Communication Networks| Edition | Availability |
|---|---|
1
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ...
Aug 04, 2014, Springer
paperback
3319088661 9783319088662
|
zzzz
|
2
Computer Aided Verification: 26th International Conference, CAV 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
2014, Springer London, Limited
in English
331908867X 9783319088679
|
aaaa
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
History
- Created October 5, 2021
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 5, 2021 | Created by ImportBot | Imported from Better World Books record |