An edition of Tools and Algorithms for the Construction and Analysis of Systems
(2015)
Tools and Algorithms for the Construction and Analysis of Systems
21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
by Christel Baier and Cesare Tinelli
Share
×Close
This work 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: 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
2015, Springer Berlin / Heidelberg
in English
3662466805 9783662466803
|
aaaa
|
|
2
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
2015, Springer London, Limited
in English
3662466813 9783662466810
|
zzzz
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| October 5, 2021 | Created by ImportBot | import new book |