Releases von David Basin

Alle6
Gebundenes Buch2
Taschenbuch4

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for David Basin · Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide - Information Security and Cryptography (Gebundenes Buch) (2025)

Gebundenes Buch

Modeling and Analyzing Security ... (2025)

Cover for David Basin · Applied Information Security: A Hands-on Approach (Taschenbuch) [2011 edition] (2013)

Applied Information Security: A ... (2013)

Cover for David Basin · Principles of Security and Trust: Second International Conference, Post 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013 : Proceedings - Lecture Notes in Computer Science / (Taschenbuch) (2013)

Principles of Security and Trust... (2013)

Cover for David Basin · Labelled Deduction - Applied Logic Series (Taschenbuch) [Softcover reprint of the original 1st ed. 2000 edition] (2012)

Softcover reprint of the original 1st ed. 2000 edition

Labelled Deduction - Applied Log... (2012)

Cover for David Basin · Applied Information Security: A Hands-on Approach (Gebundenes Buch) (2011)

Gebundenes Buch

Applied Information Security: A ... (2011)

Cover for David Basin · Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2003 edition] (2003)

Theorem Proving in Higher Order ... (2003)