Formal methods for verification and validation of partial specifications - Info and Reading Options
a case study
By Steve Easterbrook
"Formal methods for verification and validation of partial specifications" was published by West Virginia University in 1997 - [Fairmont, W. Va.] and the language of the book is English.
“Formal methods for verification and validation of partial specifications” Metadata:
- Title: ➤ Formal methods for verification and validation of partial specifications
- Author: Steve Easterbrook
- Language: English
- Publisher: West Virginia University
- Publish Date: 1997
- Publish Location: [Fairmont, W. Va.]
“Formal methods for verification and validation of partial specifications” Subjects and Themes:
- Subjects: ➤ Computer programs - Fault detection - Program verification (Computers) - Safety - Software development tools - Specifications
Edition Specifications:
- Format: Microform
- Pagination: 1 v.
Edition Identifiers:
- The Open Library ID: OL17838734M - OL8055296W
- Online Computer Library Center (OCLC) ID: 41430784
AI-generated Review of “Formal methods for verification and validation of partial specifications”:
Read “Formal methods for verification and validation of partial specifications”:
Read “Formal methods for verification and validation of partial specifications” by choosing from the options below.
Search for “Formal methods for verification and validation of partial specifications” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal methods for verification and validation of partial specifications” in Libraries Near You:
Read or borrow “Formal methods for verification and validation of partial specifications” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal methods for verification and validation of partial specifications” at a library near you.
Buy “Formal methods for verification and validation of partial specifications” online:
Shop for “Formal methods for verification and validation of partial specifications” on popular online marketplaces.
- Ebay: New and used books.