Tools and algorithms for the construction and analysis of systems - Info and Reading Options
16th international conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings
By TACAS 2010 (2010 Paphos, Cyprus)
"Tools and algorithms for the construction and analysis of systems" was published by Springer in 2010 - Berlin, it has 468 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: ➤ TACAS 2010 (2010 Paphos, Cyprus)
- Language: English
- Number of Pages: 468
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin
“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:
- Subjects: ➤ Development - Model Checking - Congresses - System design - System analysis - Softwareentwicklung - Computer software - Theoretische Informatik - Systementwicklung - Programmanalyse - Logic design - Computer networks - Artificial intelligence - Software engineering - Computer science
Edition Specifications:
- Pagination: xvi, 468 p. :
Edition Identifiers:
- The Open Library ID: OL25296754M - OL16615355W
- Online Computer Library Center (OCLC) ID: 586999181
- Library of Congress Control Number (LCCN): 2010921913
- ISBN-13: 9783642120015
- ISBN-10: 3642120016
- All ISBNs: 3642120016 - 9783642120015
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.