Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques - Info and Reading Options
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
By Tiziana Margaria and Bernhard Steffen
"Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques" was published by Springer in 2016 - Cham and the language of the book is English.
“Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques” Metadata:
- Title: ➤ Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
- Authors: Tiziana MargariaBernhard Steffen
- Language: English
- Publisher: Springer
- Publish Date: 2016
- Publish Location: Cham
“Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques” Subjects and Themes:
- Subjects: ➤ Robots, programming - Machine learning - Computer software, verification
Edition Specifications:
- Pagination: 974
Edition Identifiers:
- The Open Library ID: OL34897606M - OL20870936W
- ISBN-13: 9783319471662
- All ISBNs: 9783319471662
AI-generated Review of “Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques”:
Read “Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques”:
Read “Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques” by choosing from the options below.
Search for “Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques” in Libraries Near You:
Read or borrow “Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques” from your local library.
Buy “Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques” online:
Shop for “Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques” on popular online marketplaces.
- Ebay: New and used books.