Gilles barthe u a (4 resultados)

Taschenbuch. Condición: Neu. Foundations of Security Analysis and Design V | FOSAD 2008/2009 Tutorial Lectures | Alessandro Aldini (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642038280 | 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. …

Taschenbuch. Condición: 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.…

Taschenbuch. Condición: 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. Condición: Neu. Trustworthy Global Computing | Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers | Gilles Barthe (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2008 | Springer | EAN 9783540786627 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…