Tools and Algorithms for the Construction and Analysis of Systems - Info and Reading Options
17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
By Parosh Aziz Abdulla
"Tools and Algorithms for the Construction and Analysis of Systems" was published by Springer Berlin Heidelberg in 2011 - Berlin, Heidelberg 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: Parosh Aziz Abdulla
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2011
- Publish Location: Berlin, Heidelberg
“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer networks - Software engineering - Computer science - Artificial intelligence - System design - System analysis - Programming Techniques - Programming Languages, Compilers, Interpreters - Computer Communication Networks - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics)
Edition Specifications:
- Format: [electronic resource] :
Edition Identifiers:
- The Open Library ID: OL27092247M - OL19907241W
- ISBN-13: 9783642198342 - 9783642198359
- All ISBNs: 9783642198342 - 9783642198359
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.
Borrow "Tools and Algorithms for the Construction and Analysis of Systems" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: full
- Check if available: The Open Library & The Internet Archive
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.