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!

Search By Title or Author
Search By ISBN

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

“Generating test templates via automated theorem proving” Metadata:

  • Title: ➤  Generating test templates via automated theorem proving
  • Author:
  • Language: English
  • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
  • Publish Date:
  • Publish Location: ➤  Springfield, Va - [Washington, DC

“Generating test templates via automated theorem proving” Subjects and Themes:

Edition Identifiers:

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:


    Buy “Generating Test Templates Via Automated Theorem Proving” online:

    Shop for “Generating Test Templates Via Automated Theorem Proving” on popular online marketplaces.