Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
EUR 142,30
Anzahl: 1 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
EUR 155,93
Anzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. xvii + 975 Illus.
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.
EUR 248,99
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. illustrated edition. 975 pages. 10.25x8.50x1.75 inches. In Stock.