David Basin의 책들 - BookPine

The Complete Guide to SCION: From Design Principles to Formal Verification

The Complete Guide to SCION: From Design Principles to Formal Verification

Laurent Chuat

Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach

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 ... 2013, Proceedings

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of ... 2013, Proceedings

David Basin

Labelled Deduction

Labelled Deduction

David Basin

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

Alan Bundy

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Alan Bundy

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

David Basin

Labelled Deduction (APPLIED LOGIC SERIES Volume 17)

Labelled Deduction (APPLIED LOGIC SERIES Volume 17)

Sean Matthews

Applied Information Security

Applied Information Security

David Basin

Labelled Deduction

Labelled Deduction

David Basin

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

Alan Bundy