Refine your search

  • Books (7)

to

Custom price range (US$)

to

Principles Model Checking by Baier Christel (7 results)

Author: 
Title: 
Refine with Advanced Search
  • Language: English

    Published by The MIT Press, 2008

    026202649X / 9780262026499

    • Hardcover

    Seller: Textbooks_Source, Columbia, MO, U.S.A.Textbooks_Source

    5-star seller
    Contact seller

    Condition: Used - Good

    US$ 82.97

    US$ 3.99 shipping 
    Ships 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.

  • Language: English

    Published by The MIT Press, 2008

    026202649X / 9780262026499

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: Used - Good

    US$ 116.13

    US$ 2.64 shipping 
    Ships 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.…

  • Language: English

    Published by The MIT Press, 2008

    026202649X / 9780262026499

    • Hardcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: Used - Good

    US$ 128.35

    US$ 19.82 shipping 
    Ships 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.…

  • Language: English

    Published by The MIT Press, 2008

    026202649X / 9780262026499

    • Hardcover

    Seller: GoldBooks, Denver, CO, U.S.A.GoldBooks

    5-star seller
    Contact seller

    Condition: New

    US$ 201.00

    US$ 5.50 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Hardcover. Condition: new. New Copy. Customer Service Guaranteed.

  • Language: English

    Published by MIT Press, 2008

    026202649X / 9780262026499

    • Softcover

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    US$ 206.78

    US$ 53.99 shipping 
    Ships 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.

  • Language: English

    Published by Mit Pr, 2008

    026202649X / 9780262026499

    • Hardcover

    Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

    5-star seller
    Contact seller

    Condition: New

    US$ 223.15

    US$ 46.24 shipping 
    Ships 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

    4-star seller
    Contact seller

    Association member: ABAAILAB

    Condition: Used

    US$ 82.50

    US$ 7.00 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Add to basket

    Hardcover. 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.…