Cărți de Joshua D. Guttman

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5491

Editat de Pierpaolo Degano et al.

9 apr 2009

Preț: 323^.23 lei 404^.04 lei

6-8 săpt.

-20%

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7215

Editat de Pierpaolo Degano et al.

14 mar 2012

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

Formal Aspects in Security and Trust

Editat de Pierpaolo Degano et al.

20 apr 2010

Preț: 320^.97 lei 401^.21 lei

6-8 săpt.

-20%

VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995

Editat de Joshua D. Guttman et al.

20 noi 2012

Preț: 943^.76 lei 1179^.70 lei

6-8 săpt.

-20%

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Lecture Notes in Computer Science, nr. 11565

Editat de Joshua D. Guttman et al.

28 apr 2019

Preț: 317^.68 lei 397^.10 lei

6-8 săpt.

-20%