Luigia petre u a (4 risultati)

Taschenbuch. Condizione: Neu. Integrated Formal Methods | 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings | Einar Broch Johnsen (u. a.) | Taschenbuch | xiv | Englisch | 2013 | Springer | EAN 9783642386121 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Formal Methods Teaching | Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings | Brijesh Dongol (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2019 | Springer | EAN 9783030324407 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. 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 Print on Demand. …

Buch. 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. …