All Formats & Editions
1 - 3 of 3 results found
Generating Test Templates via Automated Theorem...
Edition Details
Format:Paperback
Language:English
ISBN:1288910894
Format: Paperback
Condition:
$
54.47
Save $3.48!
List Price: $57.95
50 Available
Generating Test Templates via Automated Theorem...
Edition Description
Testing can be used during the software development process to maintain fidelity between evolving specifications, program designs, and code implementations. We use a form of specification-based testing that employs the use of an automated theorem prover to generate test templates...
Edition Details
Format:Paperback
Language:English
ISBN:1025158253
Format: Paperback
Condition:
$
18.42
50 Available
Generating Test Templates via Automated Theorem...
Edition Description
Testing can be used during the software development process to maintain fidelity between evolving specifications, program designs, and code implementations. We use a form of specification-based testing that employs the use of an automated theorem prover to generate test templates...
Edition Details
Format:Hardcover
Language:English
ISBN:1025154037
Format: Hardcover
Condition:
$
29.95
50 Available
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
