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 109 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 089 kr

Skickas inom 10-15 vardagar

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. Landwehr,José Meseguer,Dusko Pavlovic,Jose Meseguer

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,Fabio Martinelli,Joshua Guttman

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

719 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