Leveraging Applications of Formal Methods, Verification and Validation - Info and Reading Options
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
By Tiziana Margaria and Bernhard Steffen
"Leveraging Applications of Formal Methods, Verification and Validation" was published by Springer London, Limited in 2008 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
- Authors: Tiziana MargariaBernhard Steffen
- Language: English
- Publisher: Springer London, Limited
- Publish Date: 2008
- Library of Congress Classification: QA76.758
“Leveraging Applications of Formal Methods, Verification and Validation” Subjects and Themes:
Edition Specifications:
- Pagination: xiv, 869
Edition Identifiers:
- The Open Library ID: OL37097378M - OL20800015W
- ISBN-13: 9783540884798
- All ISBNs: 9783540884798
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.