Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings | Werner Damm (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540441656 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Tedesco
Editore: Köln, Kölnische Verlagsdruckerei, 1981
Da: Antiquariat Richart Kulbach, Heidelberg, Germania
EUR 10,00
Quantità: 1 disponibili
Aggiungi al carrelloGr. 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.