An edition of Tools and Algorithms for the Construction and Analysis of Systems
(2022)
Tools and Algorithms for the Construction and Analysis of Systems
28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
by Dana Fisman and Grigore Rosu
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: 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
2022, Springer International Publishing AG
in English
3030995267 9783030995263
|
aaaa
|
|
2
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
2022, Springer International Publishing AG
in English
3030995232 9783030995232
|
zzzz
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| April 17, 2024 | Created by ImportBot | import new book |