1
0
0
(1 - 24 von 26
)
bol.com: bol.com | Frank Piessens Boeken kopen? Kijk snel!
Boeken van Frank Piessens lezen? Boeken van Frank Piessens koop je eenvoudig online bij bol.com ✓ Gratis retourneren ✓ 30 dagen bedenktijd ✓ Snel in huis
frank piessens - ZVAB
www.zvab.com
Engineering Secure Software and Systems : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings von Frank Piessens und eine große...
Primer on Client-Side Web Security von Philippe De Ryck, Lieven...
www.ciando.com
Kaufen Sie das Buch Primer on Client-Side Web Security vom Springer-Verlag als eBook auf ciando.com - dem führenden Portal für elektronische Fachbücher und...
Frank Piessens (Author of Primer on Client-Side Web Security)
www.goodreads.com
Frank Piessens is the author of Principles of Security and Trust (0.0 avg rating, 0 ratings, 0 reviews), Principles of Security and Trust (0.0 avg rating...
bokus.com: Frank Piessens - Böcker | Bokus bokhandel
Köp böcker av Frank Piessens: Engineering Secure Software and Systems; Primer on Client-Side Web Security; Principles of Security and Trust m.fl.
Frank Piessens στο Apple Books
books.apple.com
Πραγματοποιήστε προεπισκόπηση και λήψη βιβλίων από Frank Piessens, συμπεριλαμβανομένων των «Principles of Security and Trust», «Primer on Client-Side Web...
Algebraic Methodology and Software Technology: 6th International ...
books.google.it
... Frank Piessens . Semantic Data Specifications : an Analysis Based on a Categorical Formalization . PhD thesis , Katholieke Universiteit Leuven , Dept. of ...
Deductive Software Verification – The KeY Book: From Theory to ...
books.google.it
... Frank Piessens. The VeriFast program verifier – a tutorial for Java Card developers. Technical report, Department of Computer Science, Katholieke ...
Deductive Verification of Object-oriented Software: Dynamic ...
books.google.it
... Frank Piessens, and Wolfram Schulte. An automatic verifier for Java-like programs based on dynamic frames. In José Luiz Fiadeiro and Paola Inverardi ...
Principles of Security and Trust : Frank Piessens :
www.bookdepository.com
Principles of Security and Trust by Frank Piessensavailable at Book Depository with free delivery worldwide.
Free delivery worldwide on all books from Book Depository
www.bookdepository.com
Book Depository is the world's most international online bookstore offering over 20 million books with free delivery worldwide.
bokus.com: Principles of Security and Trust - Frank Piessens, Luca Vigano -...
Pris: 739 kr. Häftad, Skickas inom vardagar. Köp Principles of Security and Trust av Frank Piessens, Luca Vigano på Bokus.com.
ECOOP Object-Oriented Programming: 23rd European ...
books.google.it
... Frank Piessens Katholieke Universiteit Leuven, Belgium Abstract. The dynamic frames approach has proven to be a powerful formalism for specifying and ...
Engineering Methods and Tools for Software Safety and Security
books.google.it
... Frank Piessens. Implicit dynamic frames. In Marieke Huisman, editor, Formal Techniques for Java-like Programs (FTfJP 2008), pages 1–12, July
Primer on Client-Side Web Security
books.google.it
... Frank Piessens • Martin Johns Primer on Client-Side Web Security Philippe De Ryck iMinds-DistriNet Frank Piessens iMinds-DistriNet KU Leuven KU.
Formal Techniques for Distributed Systems: Joint 13th IFIP WG
books.google.de
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems,...
Formal Verification of Object-Oriented Software: International...
books.google.de
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software,...
Integrity, Internal Control and Security in Information Systems:...
books.google.de
IT Governance is finally getting the Board's and top management's attention. The value that IT needs to return and the associated risks that need to be...
Algebraic Methodology and Software Technology: 6th International ...
books.google.se
[Pie96] Frank Piessens. Semantic Data Specifications: an Analysis Based on a Categorical Formalization. PhD thesis, Katholieke Universiteit Leuven, Dept. of ...
Deductive Software Verification – The KeY Book: From Theory ...
books.google.rs
Bart Jacobs, Jan Smans, Pieter Philippaerts, and Frank Piessens. The VeriFast program verifier – a tutorial for Java Card developers. Technical report ...
Engineering Secure Software and Systems: 7th International Symposium,...
books.google.se
This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy,...
Engineering Secure Software and Systems: 7th International ...
books.google.rs
7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings Frank Piessens, Juan Caballero, Nataliia Bielova. Frank Piessens Juan ...
Software System Reliability and Security - Charles Antony Richard...
books.google.se
[34] Bart Jacobs and Frank Piessens. Verification of programs with inspector methods. In Workshop on Formal Techniques for Java-like Programs (FTfJP 2006), ...
Formal Aspects of Security and Trust: 8th International Workshop,...
books.google.de
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011,...
Verwandte Suchanfragen zu Frank Piessens
Dominique Devriese Nick Nikiforakis Stephan Tobies | Benjamin Weiß Tamara Rezk Martin Johns | Wolfram Schulte |
Personen Vorname "Frank" (79403) Name "Piessens" (9) |
sortiert nach Relevanz / Datum