Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Integrated Formal Methods | Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. | Michael Butler (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540437031 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
EUR 181,95
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Program Development by Refinement | Case Studies Using the B Method | Kaisa Sere (u. a.) | Taschenbuch | xxiv | Englisch | 1998 | Springer | EAN 9781852330538 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Engineering Science Reference, 2011
ISBN 10: 1609607473 ISBN 13: 9781609607470
Da: preigu, Osnabrück, Germania
EUR 212,65
Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Dependability and Computer Engineering | Concepts for Software-Intensive Systems | Luigia Petre (u. a.) | Buch | Gebunden | Englisch | 2011 | Engineering Science Reference | EAN 9781609607470 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.