Description: New Hard cover
Price: 177.33 USD
Location: Sparks, Nevada
End Time: 2024-10-30T22:15:42.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
Return policy details:
Book Title: Systems and Software Verification: Model-Checking Techniques and
Publication Date: 2001-06-20
Pages: 190
Item Length: 9.3in
Item Width: 6.1in
Author: M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, B. Berard
Publication Name: Systems and Software Verification : Model-Checking Techniques and Tools
Format: Hardcover
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2001
Type: Textbook
Item Weight: 37 Oz
Number of Pages: Xii, 190 Pages
