Book Search Results
Formal Methods For Verification And Validation Of Partial Specifications
Find "Formal Methods For Verification And Validation Of Partial Specifications" through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Formal methods for verification and validation of partial specifications
By Steve Easterbrook
“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: ➤ National Technical Information Service, distributor - West Virginia University - National Aeronautics and Space Administration
- Publish Date: 1997
- Publish Location: ➤ [Washington, DC] - [Springfield, Va - [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 Identifiers:
- The Open Library ID: OL17131299M - OL17838734M - OL17700585M
- Online Computer Library Center (OCLC) ID: 41430784
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal methods for verification and validation of partial specifications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
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.