Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
EUR 217,29
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. illustrated edition. 975 pages. 10.25x8.50x1.75 inches. In Stock.
EUR 183,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbBuch. 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.
Zustand: New. A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Num Pages: 984 pages, illus. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 258 x 206 x 42. Weight in Grams: 1934. . 2008. Hardback. . . . . Books ship from the US and Ireland.