Principles Model Checking by Baier Christel (7 results)

- Hardcover
Seller: Textbooks_Source, Columbia, MO, U.S.A.Textbooks_Source
Contact seller5-star sellerCondition: Used - Good
US$ 82.97
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. Illustrated. Ships same day or next business day! UPS shipping available (Priority Mail for AK/HI/APO/PO Boxes). Used sticker and some writing and/or highlighting. Used books may not include working access code or dust jacket.

- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - Good
US$ 116.13
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.…

- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - Good
US$ 128.35
US$ 19.82 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.…

- Hardcover
Seller: GoldBooks, Denver, CO, U.S.A.GoldBooks
Contact seller5-star sellerCondition: New
US$ 201.00
US$ 5.50 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: new. New Copy. Customer Service Guaranteed.

- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 206.78
US$ 53.99 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: New. Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden.Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the So.

- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 223.15
US$ 46.24 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Brand New. illustrated edition. 975 pages. 10.25x8.50x1.75 inches. In Stock.
Published by MIT Press [2007?], Cambridge, 2007
- Hardcover
Seller: Second Story Books, ABAA, Rockville, MD, U.S.A.Second Story Books, ABAA
Contact seller4-star sellerHardcover. Quarto, xvii, 975 pages. In Very Good condition. Spine is orange with white print. Boards in orange paper, illustration, white print. Illustrated: b&w diagrams. [Oversized book(s). Additional postage necessary for expedited/international orders. Economy International shipping unavailable due to size/weight restrictions. For international/expedited customers, please inquire for rates]. NOTE: NOTE: Shelved in Locked Annex Area, Netdesk Column QB (ND-QB). 1416286. FP New Rockville Stock.…