Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Computer Aided Verification | 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings | Werner Damm (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540733676 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Sprache: Deutsch
Verlag: Köln, Kölnische Verlagsdruckerei, 1981
Anbieter: Antiquariat Richart Kulbach, Heidelberg, Deutschland
Gr. 8°, Hardcover/Pappeinband. 338 Seiten. Mit vielen farbigen und schw.-weißen Abbildungen. Neuwertiges Exemplar. 1530 Sprache: Deutsch Gewicht in Gramm: 1020 Wissensch. Kataloge des Kölnischen Stadtmuseums.
Taschenbuch. Zustand: Neu. Integration of Software Specification Techniques for Applications in Engineering | Priority Program SoftSpez of the German Research Foundation (DFG) Final Report | Hartmut Ehrig (u. a.) | Taschenbuch | x | Englisch | 2004 | Springer | EAN 9783540231356 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.