Description: Marhoefer Roberts presents ...Model Checking (Cyber Physical Systems Series) ISBN:0262032708 Author:Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled Publisher:The MIT Press Release Date:12/20/1999 Seller Category:1 Qty Available:2 Condition:Used: Excellent Sku: MIT-HC-LN-0262032708Notes: LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.Don't forget to check out other great deals in our eBay Store!!
Price: 6.54 USD
Location: Mckeesport, PA
End Time: 2024-11-23T19:33:32.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money back or replacement (buyer's choice)
Return policy details:
Artist: Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Book Title: Model Checking (Cyber Physical Systems Series)
Number of Pages: 334 Pages
Language: English
Publication Name: Model Checking
Publisher: MIT Press
Subject: Software Development & Engineering / Quality Assurance & Testing, Computer Science
Publication Year: 1999
Item Height: 0.9 in
Type: Textbook
Item Weight: 24.1 Oz
Item Length: 9.3 in
Subject Area: Computers
Author: Orna Grumberg, Edmund M. Clarke, Doron Peled
Item Width: 7.2 in
Series: The Cyber-Physical Systems Ser.
Format: Hardcover
