Description: Systems and Software Verification: Model-Checking Techniques and Tools [Hardcover] [2001] Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P. - Very Good condition
Price: 20.63 USD
Location: New York NY
End Time: 2024-11-05T15:40:12.000Z
Shipping Cost: 7.63 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Systems and Software Verification: Model-Checking Technique
Number of Pages: Xii, 190 Pages
Publication Name: Systems and Software Verification : Model-Checking Techniques and Tools
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2001
Subject: Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science
Item Weight: 37 Oz
Type: Textbook
Subject Area: Computers
Item Length: 9.3 in
Author: M. Bidoit, A. Finkel, A. Petit, F. Laroussinie, B. Berard
Item Width: 6.1 in
Format: Hardcover
