An edition of Tools and Algorithms for the Construction and Analysis of Systems
(2021)
Tools and Algorithms for the Construction and Analysis of Systems
27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings, Part II
by Jan Friso Groote and Kim Guldstrand Larsen
- 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: 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings, Part II
2021, Springer International Publishing AG
in English
3030720128 9783030720124
|
aaaa
Libraries near you:
WorldCat
|
|
2
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings, Part I
2021, Springer International Publishing AG
in English
3030720152 9783030720155
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 28, 2022 | Created by ImportBot | import new book |