Anbieter: PAPER CAVALIER UK, London, Vereinigtes Königreich
EUR 23,56
Anzahl: 1 verfügbar
In den WarenkorbZustand: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title!
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 151,92
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 151,92
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 151,91
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 168,46
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New. pp. 208.
Zustand: New. pp. 212.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 245,25
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 235,73
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 270,22
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642074782 ISBN 13: 9783642074783
Anbieter: moluna, Greven, Deutschland
EUR 127,40
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introduction to software verificationModel checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not corr.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2001
ISBN 10: 3540415238 ISBN 13: 9783540415237
Anbieter: moluna, Greven, Deutschland
EUR 128,41
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introduction to software verificationModel checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not corr.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 187,76
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 208 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 204,14
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 212 Illus.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 208.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 212.