Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Book Format
Free
Reviews
Rating Snapshot
Select a row below to filter reviews.
0
0
0
0
0
0
Overall
Average Customer Ratings
Review for this Book
Share your thoughts with other readers
More Information
Description of Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Additional Information
Vendor
Publication
Publish Date
2019 Apr 11
ISBN
978-3-030-17462-0
About the authors
Tomáš Vojnar(editor)
Table of content
Recommended Books
Based on the books you like and read
