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
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 2 featured editions. View all 2 editions?
| 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 London, Limited
in English
3662466813 9783662466810
|
zzzz
Libraries near you:
WorldCat
|
|
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 Berlin / Heidelberg
in English
3662466805 9783662466803
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?
| October 5, 2021 | Created by ImportBot | import new book |