Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer scienceEdition | Availability |
---|---|
1
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II
2023, Springer
in English
3031308190 9783031308192
|
zzzz
Libraries near you:
WorldCat
|
2
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I
2023, Springer
in English
3031308220 9783031308222
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?August 17, 2023 | Created by ImportBot | import new book |