Description: Model Checking by Jr, Edmund M. Clarke; Grumberg, Orna; Peleg, Doron Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less
Price: 7.67 USD
Location: Aurora, Illinois
End Time: 2025-01-28T20:28:37.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
Return policy details:
Binding: Hardcover
Weight: 1 lbs
Product Group: Book
IsTextBook: Yes
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
