Joshua D. Guttman – författare
Visar alla böcker från författaren Joshua D. Guttman.
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
Av Joshua D. Guttman, Mitchell Wand
Inbunden, 1995
2159 kr
Lägg i varukorg
VLISP A Verified Implementation of Scheme
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Av Joshua D. Guttman, Mitchell Wand
Häftad, 2012
2169 kr
Lägg i varukorg
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
Av Joshua D. Guttman, Carl E. Landwehr m. fl.
Häftad, 2019
729 kr
Lägg i varukorg
Formal Aspects in Security and Trust
5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Av Pierpaolo Degano, Joshua D. Guttman m. fl.
Häftad, 2009
729 kr
Lägg i varukorg
Formal Aspects in Security and Trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Av Pierpaolo Degano, Joshua D. Guttman
Häftad, 2010
729 kr
Lägg i varukorg
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
Av Pierpaolo Degano, Joshua D. Guttman
Häftad, 2012
729 kr
Lägg i varukorg