Cărți de David Basin

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

Information Security and Cryptography

Autor Laurent Chuat et al.

18 mai 2023

Preț: 597^.10 lei 746^.38 lei

43-57 zile

-20%

Applied Information Security: A Hands-on Approach

Autor David Basin et al.

29 noi 2013

Preț: 271^.85 lei 339^.81 lei

38-44 zile

-20%

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, nr. 7796

Editat de David Basin et al.

20 feb 2013

Preț: 327^.45 lei 409^.32 lei

43-57 zile

-20%

Labelled Deduction

Applied Logic Series, nr. 17

Editat de David Basin et al.

8 oct 2012

Preț: 628^.95 lei 739^.95 lei

43-57 zile

-15%

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge Tracts in Theoretical Computer Science, nr. 56

Autor Alan Bundy et al.

29 iun 2005

Preț: 763^.07 lei 953^.83 lei

43-57 zile

-20%

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Lecture Notes in Computer Science, nr. 3097

Editat de David Basin et al.

22 iun 2004

Preț: 662^.00 lei 827^.51 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 2758

Editat de David Basin et al.

21 aug 2003

Preț: 386^.56 lei

43-57 zile