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 I
2022, Springer International Publishing AG
in English
3030995232 9783030995232
|
zzzz
|
|
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 II
2022, Springer International Publishing AG
in English
3030995267 9783030995263
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 17, 2024
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| April 17, 2024 | Created by ImportBot | Imported from Better World Books record |