Leveraging Applications of Formal Methods, Verification, and Validation - Info and Reading Options
International Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
By Reiner Hähnle
"Leveraging Applications of Formal Methods, Verification, and Validation" was published by Springer in 2012, it has 261 pages and the language of the book is English.
“Leveraging Applications of Formal Methods, Verification, and Validation” Metadata:
- Title: ➤ Leveraging Applications of Formal Methods, Verification, and Validation
- Author: Reiner Hähnle
- Language: English
- Number of Pages: 261
- Publisher: Springer
- Publish Date: 2012
“Leveraging Applications of Formal Methods, Verification, and Validation” Subjects and Themes:
- Subjects: ➤ Pattern perception - Software engineering - Data Mining and Knowledge Discovery - Information organization - Optical pattern recognition - Information storage and retrieval systems - Information retrieval - Computation by Abstract Devices - Computer science - Data mining - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Machine learning - Computer software, verification - Robots, programming
Edition Specifications:
- Weight: 0.427
Edition Identifiers:
- The Open Library ID: OL34375218M - OL19883865W
- ISBN-13: 9783642347801
- All ISBNs: 9783642347801
AI-generated Review of “Leveraging Applications of Formal Methods, Verification, and Validation”:
Read “Leveraging Applications of Formal Methods, Verification, and Validation”:
Read “Leveraging Applications of Formal Methods, Verification, and Validation” by choosing from the options below.
Search for “Leveraging Applications of Formal Methods, Verification, and Validation” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Leveraging Applications of Formal Methods, Verification, and Validation” in Libraries Near You:
Read or borrow “Leveraging Applications of Formal Methods, Verification, and Validation” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Leveraging Applications of Formal Methods, Verification, and Validation” at a library near you.
Buy “Leveraging Applications of Formal Methods, Verification, and Validation” online:
Shop for “Leveraging Applications of Formal Methods, Verification, and Validation” on popular online marketplaces.
- Ebay: New and used books.