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

AvJoshua D. Guttman,Mitchell Wand

Inbunden, Engelska, 1995

2 069 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 069 kr

Skickas inom 10-15 vardagar

Foundations of Security, Protocols, and Equational Reasoning

Essays Dedicated to Catherine A. Meadows

AvJoshua D. Guttman,Carl E. Landwehr m. fl.

Häftad, Engelska, 2019

709 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. Guttman m. fl.

Häftad, Engelska, 2009

709 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

709 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

709 kr

Skickas inom 10-15 vardagar