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:11 Condition:Used: Excellent Sku: HC-MIT-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.76 USD
Location: Mckeesport, PA
End Time: 2024-08-27T01:17:22.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:
Book Title: Model Checking (Cyber Physical Systems Series)
Artist: Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Number of Pages: 334 Pages
Publication Name: Model Checking
Language: English
Publisher: MIT Press
Item Height: 0.9 in
Subject: Software Development & Engineering / Quality Assurance & Testing, Computer Science
Publication Year: 1999
Item Weight: 24.1 Oz
Type: Textbook
Author: Orna Grumberg, Edmund M. Clarke, Doron Peled
Subject Area: Computers
Item Length: 9.3 in
Item Width: 7.2 in
Series: The Cyber-Physical Systems Ser.
Format: Hardcover
