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
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783031308192
- ISBN-103031308190
- Better World Books9783031308192
- Open LibraryOL49271663M
Classifications
- LCCQA75.5-76.95
Subjects
Topics
Other Editions
- Tools and Algorithms for the Construction and Analysis of Systems
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!