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ț: 595^.06 lei 743^.82 lei

6-8 săpt.

-20%

Applied Information Security: A Hands-on Approach

Autor David Basin et al.

29 noi 2013

Preț: 271^.83 lei 339^.79 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ț: 326^.34 lei 407^.93 lei

6-8 săpt.

-20%

Labelled Deduction

Applied Logic Series, nr. 17

Editat de David Basin et al.

8 oct 2012

Preț: 626^.80 lei 737^.40 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ț: 760^.43 lei 950^.54 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ț: 659^.73 lei 824^.66 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ț: 385^.25 lei

6-8 săpt.