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ț: 607^.34 lei 759^.17 lei

6-8 săpt.

-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ț: 333^.04 lei 416^.30 lei

6-8 săpt.

-20%

Labelled Deduction

Applied Logic Series, nr. 17

Editat de David Basin et al.

8 oct 2012

Preț: 639^.73 lei 752^.63 lei

6-8 săpt.

-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ț: 776^.15 lei 970^.19 lei

6-8 săpt.

-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ț: 673^.34 lei 841^.68 lei

6-8 săpt.

-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ț: 393^.13 lei

6-8 săpt.