Book Search Results
Generating Test Templates Via Automated Theorem Proving
Find "Generating Test Templates Via Automated Theorem Proving" 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
1Generating test templates via automated theorem proving
By Mani Prasad Kancherla
“Generating test templates via automated theorem proving” Metadata:
- Title: ➤ Generating test templates via automated theorem proving
- Author: Mani Prasad Kancherla
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration
- Publish Date: 1997
- Publish Location: ➤ Springfield, Va - [Washington, DC
“Generating test templates via automated theorem proving” Subjects and Themes:
- Subjects: Theorem proving - Computer programming - Failure - Software engineering - Software development tools
Edition Identifiers:
- The Open Library ID: OL15547500M
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 Generating test templates via automated theorem proving at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Generating Test Templates Via Automated Theorem Proving” online:
Shop for “Generating Test Templates Via Automated Theorem Proving” on popular online marketplaces.
- Ebay: New and used books.