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
We couldn't estimate the reading time for this book.
Publication
2021 - Springer International Publishing AG
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783030720155
- ISBN-103030720152
- Better World Books9783030720155
- Open LibraryOL37323519M
Classifications
- LCCQA75.5-76.95
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!