Generating Test Templates via Automated Theorem Proving

Generating Test Templates via Automated Theorem Proving

by NationalAeronauticsandSpaceAdministr (Creator), Mani Prasard Kancherla (Author)

$47.94

Save:$1.43 (3%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 96
Publisher: BiblioScholar
Published: 12 Mar 2013

ISBN 10: 1288910894
ISBN 13: 9781288910892