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?
| February 26, 2022 | Created by ImportBot | import new book |