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 10 / ISBN 13
- 9780262032704 / 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 10 / ISBN 13
- 9780262032704 / 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.
- Used
- Condition
- UsedAcceptable
- ISBN 10 / ISBN 13
- 9780262032704 / 0262032708
- Quantity Available
- 1
- Seller
-
evans, Georgia, United States
- Item Price
-
$4.15$3.99 shipping to USA
Show Details
Description:
UsedAcceptable. Buy with confidence! Comes with our 100% money back guarantee!! Tracking included with every order!!! The dust jacket shows normal wear and tear. The dust jacket has damage or tearing. The pages show normal wear .... Page corners are curled ....
Item Price
$4.15
$3.99
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 10 / ISBN 13
- 9780262032704 / 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
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 10 / ISBN 13
- 9780262032704 / 0262032708
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
$7.89$12.00 shipping to USA
Show Details
Description:
MIT Press, 1999. Hardcover. Very Good. Former library book. Stains on the edge. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
$7.89
$12.00
shipping to USA
Model Checking
by Edmund M. Clarke; Orna Grumberg; Doron Peled
- Used
- good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780262032704 / 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
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 10 / ISBN 13
- 9780262032704 / 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 10 / ISBN 13
- 9780262032704 / 0262032708
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$37.13FREE shipping to USA
Show Details
Description:
The MIT Press, 1999-01-07. Hardcover. Used:Good.
Item Price
$37.13
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 10 / ISBN 13
- 9780262032704 / 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 10 / ISBN 13
- 9780262032704 / 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