Skip to content
Home/ Automated Theorem Proving in Software Engineering (2001)
Automated Theorem Proving in Software Engineering (2001)

Automated Theorem Proving in Software Engineering (2001)

by Schumann, Johann M
No customer reviews yet ISBN 9783540679899

About the author

Product details

Pub dateJun 20, 2001
ISBN-103540679898
ISBN-139783540679899
LanguageEnglish
Last updated 2026-08-23 23:19
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Software Development & Engineering - General
See all
Estimating Software Costs: Bringing Realism to Estimating
Jones, Capers
$93.63
Applied Software Measurement: Global Analysis of Productivity and Quality
Jones, Capers
$114.65
Software Engineering Best Practices: Lessons from Successful Projects in the Top Companies
Jones, Capers
$106.33
Oracle Crm on Demand Dashboards
Lairson, Michael D
$23.17
HTML5 for IOS and Android: A Beginner's Guide
Nixon, Robin
$40.96
Linux Programming: A Beginner's Guide
Petersen, Richard
$25.95