An edition of Tools and Algorithms for the Construction and Analysis of Systems
(2010)
Tools and Algorithms for the Construction and Analysis of Systems
16th International Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
by Javier Esparza and Rupak Majumdar
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
2010, Springer London, Limited
in English
3642120024 9783642120022
|
aaaa
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created February 26, 2022
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| February 26, 2022 | Created by ImportBot | Imported from Better World Books record |