An edition of Automated Technology for Verification and Analysis
(2015)
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
by Bernd Finkbeiner, Geguang Pu, and Lijun Zhang
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Automatic theorem proving| Edition | Availability |
|---|---|
1
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
2015, Springer London, Limited
in English
3319249533 9783319249537
|
aaaa
|
|
2
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
2015, Springer International Publishing AG
in English
3319249525 9783319249520
|
zzzz
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
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 |