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
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: 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
|
|
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
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| February 28, 2022 | Created by ImportBot | import new book |