mario bravetti u a (4 Ergebnisse)

Taschenbuch. Zustand: Neu. Web Services and Formal Methods | Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings | Mario Bravetti (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2006 | Springer | EAN 9783540388623 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Formal Techniques for Computer Systems and Business Processes | European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings | Mario Bravetti (u. a.) | Taschenbuch | xiii | Englisch | 2005 | Springer | EAN 9783540287018 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Software Engineering and Formal Methods | 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings | Robert M. Hierons (u. a.) | Taschenbuch | xviii | Englisch | 2013 | Springer | EAN 9783642405600 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. CONCUR 2009 - Concurrency Theory | 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings | Mario Bravetti (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642040801 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu.