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ț: 575^.30 lei 719^.12 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

39-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ț: 315^.35 lei 394^.18 lei

6-8 săpt.

-20%

Labelled Deduction

Applied Logic Series, nr. 17

Editat de David Basin et al.

8 oct 2012

Preț: 605^.57 lei 712^.43 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ț: 735^.14 lei 918^.92 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ț: 637^.36 lei 796^.70 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ț: 372^.52 lei

6-8 săpt.