Principles Model Checking by Baier Christel (4 results)
- Hardcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 210.19
US$ 54.88 shippingShips from Germany to U.S.A.Quantity: 1 available
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$ 226.00
US$ 46.82 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.
- Hardcover
Seller: GoldBooks, Denver, CO, U.S.A.GoldBooks
Contact seller5-star sellerCondition: New
US$ 315.60
US$ 5.50 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: new. New Copy. Customer Service Guaranteed.
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.…
