Description: New Hard cover
Price: 63.89 USD
Location: Sparks, Nevada
End Time: 2024-12-02T12:15:13.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Book Title: Automated Theorem Proving in Software Engineering
Publication Date: 2001-06-20
Pages: 228
Item Length: 9.3in
Item Width: 6.1in
Author: Johann M. Schumann
Publication Name: Automated Theorem Proving in Software Engineering
Format: Hardcover
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2001
Type: Textbook
Item Weight: 41.3 Oz
Number of Pages: Xiv, 228 Pages
