Hoppa till sidans huvudinnehåll

Joshua D. Guttman - Böcker

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, Engelska, 1995

2 139 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

Av Joshua D. Guttman, Mitchell Wand

Häftad, Engelska, 2012

2 139 kr

Skickas inom 10-15 vardagar

Foundations of Security, Protocols, and Equational Reasoning

Essays Dedicated to Catherine A. Meadows

Av Joshua D. Guttman, Carl E. Landwehr m. fl

Häftad, Engelska, 2019

729 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

Av Pierpaolo Degano, Joshua D. Guttman m. fl

Häftad, Engelska, 2009

729 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

Av Pierpaolo Degano, Joshua D. Guttman

Häftad, Engelska, 2010

729 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

Av Pierpaolo Degano, Joshua D. Guttman

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar