Be Charmed by These Bewitching Books from 2025

Generating Test Templates via Automated Theorem Proving > Editions

by Mani Prasard Kancherla First published March 12th 2013

Sort by
Format
Language
Editions
Showing 1-3 of 3
Generating Test Templates via Automated Theorem Proving
Generating Test Templates via Automated Theorem Proving (Hardcover)
Published May 22nd 2025 by Hutson Street Press
Hardcover, 94 pages
Author(s):
ISBN:
9781025154039 (ISBN10: 1025154037)
ASIN:
1025154037
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Generating Test Templates via Automated Theorem Proving
Generating Test Templates via Automated Theorem Proving (Paperback)
Published May 22nd 2025 by Hutson Street Press
Paperback, 94 pages
Author(s):
ISBN:
9781025158259 (ISBN10: 1025158253)
ASIN:
1025158253
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Generating Test Templates via Automated Theorem Proving
Generating Test Templates via Automated Theorem Proving (Paperback)
Published March 12th 2013 by Biblioscholar
Paperback, 96 pages
Author(s):
ISBN:
9781288910892 (ISBN10: 1288910894)
ASIN:
1288910894
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page