Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
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 |