Gilles barthe u a (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Security and Trust Management | 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings | Gilles Barthe (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2016 | Springer | EAN 9783319465975 | 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. Verification, Model Checking, and Abstract Interpretation | 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings | Gilles Barthe (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2010 | Springer | EAN 9783642113185 | 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.…