Tools and Algorithms for the Construction and Analysis of Systems - Info and Reading Options
26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
By Armin Biere
"Tools and Algorithms for the Construction and Analysis of Systems" was published by Springer in 2020 - Cham, it has 1 pages and the language of the book is English.
“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:
- Title: ➤ Tools and Algorithms for the Construction and Analysis of Systems
- Author: Armin Biere
- Language: English
- Number of Pages: 1
- Publisher: Springer
- Publish Date: 2020
- Publish Location: Cham
“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:
- Subjects: ➤ Expert systems / knowledge-based systems - Algorithms & data structures - Systems analysis & design - Computer science - Mathematical theory of computation
Edition Specifications:
- Weight: 0.801
- Pagination: xxiii, 501
Edition Identifiers:
- The Open Library ID: OL35834111M - OL23498827W
- ISBN-13: 9783030451899 - 9783030451905
- All ISBNs: 9783030451899 - 9783030451905
AI-generated Review of “Tools and Algorithms for the Construction and Analysis of Systems”:
Read “Tools and Algorithms for the Construction and Analysis of Systems”:
Read “Tools and Algorithms for the Construction and Analysis of Systems” by choosing from the options below.
Search for “Tools and Algorithms for the Construction and Analysis of Systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Tools and Algorithms for the Construction and Analysis of Systems” in Libraries Near You:
Read or borrow “Tools and Algorithms for the Construction and Analysis of Systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Tools and Algorithms for the Construction and Analysis of Systems” at a library near you.
Buy “Tools and Algorithms for the Construction and Analysis of Systems” online:
Shop for “Tools and Algorithms for the Construction and Analysis of Systems” on popular online marketplaces.
- Ebay: New and used books.