Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Hardcover-Großformat. Condition: Gut. 143 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. Sprache: Deutsch Gewicht in Gramm: 430.
Condition: 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.
Broschiert. Condition: Befriedigend. Alterbedingte Gebrauchsspuren, evtl. auch Mängelexemlar---. nein.
Seller: Bookbot, Prague, Czech Republic
Hardcover. Condition: Fine. Leichte Risse.
Published by Dietikon : Texas Instruments, 1991
ISBN 10: 3880780862 ISBN 13: 9783880780866
Seller: Antiquariat Smock, Freiburg, Germany
Condition: Gut. Formateinband: Broschierte Ausgabe 128 S. 1. Aufl.; Gut und sauber erhalten. Sprache: Deutsch Gewicht in Gramm: 350 [Stichwörter: ].
Condition: 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. . . . .
Condition: 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.
Language: German
Published by Konstanz : Hartung-Gorre, 1996
ISBN 10: 389649077X ISBN 13: 9783896490773
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
First Edition
kart. 1. Aufl. 188 S. ; 21 cm Guter Zustand. Leseseiten sind bis auf ein paar Bleistiftmarkierungen sehr sauber und ohne Markierungen. Ausgeschiedenes Bibliotheksexemplar mit den entsprechenden Kennzeichnungen. Unterer Schnitt minimal berieben. Ansonsten sehr gutes Exemplar. 9783896490773 Sprache: Deutsch Gewicht in Gramm: 1000.