Principles model checking von christel baier (7 Ergebnisse)

Zustand: 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. Zustand: 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.

Zustand: 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. Zustand: new. New Copy. Customer Service Guaranteed.

Zustand: 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. Zustand: Brand New. illustrated edition. 975 pages. 10.25x8.50x1.75 inches. In Stock.

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