Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Taschenbuch. Zustand: Neu. Computer Aided Verification | 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxiv | Englisch | 2014 | Springer | EAN 9783319088662 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2014
ISBN 10: 3319088661 ISBN 13: 9783319088662
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 165,07
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 900 pages. 9.30x6.20x2.00 inches. In Stock.