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 I
by Jan Friso Groote and Kim Guldstrand Larsen
Share
×Close
This edition 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
|
zzzz
|
|
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
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
History
- Created February 28, 2022
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| February 28, 2022 | Created by ImportBot | Imported from Better World Books record |