Joshua D. Guttman – författare

Visar alla böcker från författaren Joshua D. Guttman.

6 produkter

Kategorier

6 produkter

VLISP A Verified Implementation of Scheme
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
AvJoshua D. Guttman,Mitchell Wand
Inbunden, Engelska, 1995
2 209 kr
Skickas inom 10-15 vardagar
VLISP A Verified Implementation of Scheme
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
AvJoshua D. Guttman,Mitchell Wand
Häftad, Engelska, 2012
2 209 kr
Skickas inom 10-15 vardagar
Del 11565
Del 11565 - Lecture Notes in Computer Science
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
AvJoshua D. Guttman,Carl E. Landwehrm. fl.
Häftad, Engelska, 2019
739 kr
Skickas inom 10-15 vardagar
Formal Aspects in Security and Trust
5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
AvPierpaolo Degano,Joshua D. Guttmanm. fl.
Häftad, Engelska, 2009
739 kr
Skickas inom 10-15 vardagar
Formal Aspects in Security and Trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
AvPierpaolo Degano,Joshua D. Guttman
Häftad, Engelska, 2010
739 kr
Skickas inom 10-15 vardagar
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
AvPierpaolo Degano,Joshua D. Guttman
Häftad, Engelska, 2012
739 kr
Skickas inom 10-15 vardagar

Joshua D. Guttman – författare

VLISP A Verified Implementation of Scheme

VLISP A Verified Implementation of Scheme

Foundations of Security, Protocols, and Equational Reasoning

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Principles of Security and Trust

Joshua D. Guttman – författare

VLISP A Verified Implementation of Scheme

VLISP A Verified Implementation of Scheme

Foundations of Security, Protocols, and Equational Reasoning

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Principles of Security and Trust

Joshua D. Guttman – författare

VLISP A Verified Implementation of Scheme

VLISP A Verified Implementation of Scheme

Foundations of Security, Protocols, and Equational Reasoning

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Principles of Security and Trust

Joshua D. Guttman – författare

VLISP A Verified Implementation of Scheme

VLISP A Verified Implementation of Scheme

Foundations of Security, Protocols, and Equational Reasoning

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Principles of Security and Trust