Principles model checking von christel baier (8 Ergebnisse)
- Hardcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 73,98
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 156,88
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. xvii + 975 Illus.
- Hardcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 159,59
EUR 12,95 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 162,51
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 179,70
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Principles of Model Checking | Christel Baier (u. a.) | Buch | The MIT Press | Einband - fest (Hardcover) | Englisch | 2008 | MIT Press | EAN 9780262026499 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 247,08
EUR 8,99 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
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: 25…8 x 206 x 42. Weight in Grams: 1934. . 2008. Hardback. . . . . Books ship from the US and Ireland.
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 243,28
EUR 23,35 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Brand New. illustrated edition. 975 pages. 10.25x8.50x1.75 inches. In Stock.
Verlag: MIT Press [2007?], Cambridge, 2007
- Hardcover
Anbieter: Second Story Books, ABAA, Rockville, MD, USASecond Story Books, ABAA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 72,73
EUR 5,99 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. 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 restriction…s. 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.
