Hoppa till sidans huvudinnehåll

Joshua D. Guttman – författare

Visar alla böcker från författaren .
6 produkter
Joshua D. Guttman, Mitchell Wand - VLISP A Verified Implementation of Scheme, Inbunden

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 149 kr

Skickas inom 10-15 vardagar

Joshua D. Guttman, Mitchell Wand - VLISP A Verified Implementation of Scheme, Häftad

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 149 kr

Skickas inom 10-15 vardagar

Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic - Foundations of Security, Protocols, and Equational Reasoning, Häftad
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

719 kr

Skickas inom 10-15 vardagar

Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli - Formal Aspects in Security and Trust, Häftad

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

719 kr

Skickas inom 10-15 vardagar

Pierpaolo Degano, Joshua D. Guttman - Formal Aspects in Security and Trust, Häftad

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

719 kr

Skickas inom 10-15 vardagar

Pierpaolo Degano, Joshua D. Guttman - Principles of Security and Trust, Häftad

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

719 kr

Skickas inom 10-15 vardagar