Explore: Computer Program Verification
Discover books, insights, and more — all in one place.
Learn more about Computer Program Verification with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “computer-program-verification”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1A library of failure regions
By Timothy J. Shimeall
“A library of failure regions” Metadata:
- Title: A library of failure regions
- Author: Timothy J. Shimeall
- Language: English
- Number of Pages: Median: 96
- Publisher: ➤ Naval Postgraduate School - Available from National Technical Information Service
- Publish Date: 1991
- Publish Location: ➤ Monterey, Calif - Springfield, Va
“A library of failure regions” Subjects and Themes:
- Subjects: Computer program verification - Libraries
Edition Identifiers:
- The Open Library ID: OL33186184M
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find A library of failure regions at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2A model for merging software prototypes
By David A. Dampier
“A model for merging software prototypes” Metadata:
- Title: ➤ A model for merging software prototypes
- Author: David A. Dampier
- Language: English
- Number of Pages: Median: 16
- Publisher: ➤ Available from National Technical Information Service - Naval Postgraduate School
- Publish Date: 1992
- Publish Location: ➤ Springfield, Va - Monterey, Calif
“A model for merging software prototypes” Subjects and Themes:
- Subjects: PROTOTYPES - COMPUTER PROGRAM VERIFICATION - ASSIMILATION - SOFTWARE ENGINEERING - COMPUTER PROGRAMS
Edition Identifiers:
- The Open Library ID: OL25472643M
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find A model for merging software prototypes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Analytical derivation of sotfware failure regions
By Timothy J. Shimeall
“Analytical derivation of sotfware failure regions” Metadata:
- Title: ➤ Analytical derivation of sotfware failure regions
- Author: Timothy J. Shimeall
- Language: English
- Number of Pages: Median: 30
- Publisher: ➤ Naval Postgraduate School - Available from National Technical Information Service
- Publish Date: 1991
- Publish Location: ➤ Monterey, Calif - Springfield, Va
“Analytical derivation of sotfware failure regions” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL25524778M
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Analytical derivation of sotfware failure regions at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.