Stock Photo: Cover May Be Different
Model Checking Hardcover - 1999
by Edmund M. Jr; Orna Grumberg; Doron Peleg
Details
- Title Model Checking
- Author Edmund M. Jr; Orna Grumberg; Doron Peleg
- Binding Hardcover
- Edition First Edition
- Pages 330
- Volumes 1
- Language ENG
- Publisher MIT Press, Cambridge
- Date January 7, 1999
- ISBN 9780262032704 / 0262032708
- Weight 1.55 lbs (0.70 kg)
- Dimensions 9.25 x 7.28 x 0.91 in (23.50 x 18.49 x 2.31 cm)
- Ages 18 to UP years
- Grade levels 13 - UP
- Library of Congress subjects Computer systems - Verification
- Library of Congress Catalog Number 99017979
- Dewey Decimal Code 004.21
More Copies for Sale
Stock Photo: Cover May Be Different
Model Checking (Cyber Physical Systems Series)
by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
- Used
- Hardcover
- Condition
- Like New
- Binding
- Hardcover
- ISBN 13
- 9780262032704
- ISBN 10
- 0262032708
- Quantity Available
- 2
- Seller
-
McKeesport, Pennsylvania, United States
- Item Price
-
$4.05$3.75 shipping to USA
Show Details
Description:
The MIT Press, 12/20/1999. Hardcover. Like New. 0x0x0. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.
Item Price
$4.05
$3.75
shipping to USA
Stock Photo: Cover May Be Different
Model Checking (Cyber Physical Systems Series)
by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
- Used
- Hardcover
- Condition
- Like New
- Binding
- Hardcover
- ISBN 13
- 9780262032704
- ISBN 10
- 0262032708
- Quantity Available
- 13
- Seller
-
McKeesport, Pennsylvania, United States
- Item Price
-
$4.06$3.75 shipping to USA
Show Details
Description:
The MIT Press, 12/20/1999. hardcover. Like New. 9x7x0. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.
Item Price
$4.06
$3.75
shipping to USA
Stock Photo: Cover May Be Different
Model Checking
by Edmund M. Clarke Jr., Orna Grumberg et Doron Peleg
- Used
- very good
- Hardcover
- Condition
- Used - Very Good
- Binding
- Hardcover
- ISBN 13
- 9780262032704
- ISBN 10
- 0262032708
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
$5.99$12.00 shipping to USA
Show Details
Description:
MIT Press, 1999. Hardcover. Very Good. Former library book. Different cover. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
$5.99
$12.00
shipping to USA
Model Checking
by Edmund M. Clarke; Orna Grumberg; Doron Peled
- Used
- good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 13
- 9780262032704
- ISBN 10
- 0262032708
- Quantity Available
- 1
- Seller
-
Seattle, Washington, United States
- Item Price
-
$7.98FREE shipping to USA
Show Details
Description:
MIT Press, 1999. Hardcover. Good. Disclaimer:A copy that has been read, but remains in clean condition. All pages are intact, and the cover is intact. The spine may show signs of wear. Pages can include limited notes and highlighting, and the copy can include previous owner inscriptions. At ThriftBooks, our motto is: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$7.98
FREE shipping to USA
Model Checking
by Jr, Edmund M. Clarke; Grumberg, Orna; Peleg, Doron
- Used
- Acceptable
- Hardcover
- Condition
- Used - Acceptable
- Binding
- Hardcover
- ISBN 13
- 9780262032704
- ISBN 10
- 0262032708
- Quantity Available
- 1
- Seller
-
Seattle, Washington, United States
- Item Price
-
$7.98FREE shipping to USA
Show Details
Description:
MIT Press, 1999. Hardcover. Acceptable. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$7.98
FREE shipping to USA
Stock Photo: Cover May Be Different
Model Checking
by Edmund M. Clarke Jr.; Orna Grumberg; Doron A. Peled
- Used
- Hardcover
- Condition
- Used: Good
- Binding
- Hardcover
- ISBN 13
- 9780262032704
- ISBN 10
- 0262032708
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$10.37FREE shipping to USA
Show Details
Description:
The MIT Press, 1999-01-07. Hardcover. Used: Good.
Item Price
$10.37
FREE shipping to USA
Stock Photo: Cover May Be Different
Model Checking
by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
- Used
- Hardcover
- Condition
- Used:Good
- Binding
- Hardcover
- ISBN 13
- 9780262032704
- ISBN 10
- 0262032708
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$40.68FREE shipping to USA
Show Details
Description:
The MIT Press, 1999-01-07. Hardcover. Used:Good.
Item Price
$40.68
FREE shipping to USA
Stock Photo: Cover May Be Different
MODEL CHECKING
by Clarke, Grumberg & Peled
- Used
- near fine
- Hardcover
- first
- Condition
- Used - Near Fine
- Edition
- First Edition
- Binding
- Hardcover
- ISBN 13
- 9780262032704
- ISBN 10
- 0262032708
- Quantity Available
- 1
- Seller
-
Ottawa, Ontario, Canada
- Item Price
-
$46.00$23.00 shipping to USA
Show Details
Description:
Cambridge, MA: The MIT Press, 1999. 314 pages in excellent condition. Blue cloth with silver titles Corners not bumped. White DJ with illustration and green titles. Very light wear on jacket. NEAR FINE/NEAR FINE. First Edition. Hard Cover. Near Fine/Near Fine.
Item Price
$46.00
$23.00
shipping to USA
Stock Photo: Cover May Be Different
Model Checking (Cyber Physical Systems Series)
by Edmund M. Clarke Jr.; Orna Grumberg; Doron A. Peled
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 13
- 9780262032704
- ISBN 10
- 0262032708
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
$64.23$5.45 shipping to USA
Show Details
Description:
The MIT Press, 1999-01-07. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$64.23
$5.45
shipping to USA