Joshua D. Guttman – författare
Visar alla böcker från författaren Joshua D. Guttman. Handla med fri frakt och snabb leverans.
6 produkter
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
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
Häftad, Engelska, 2012
2 139 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
Häftad, Engelska, 2019
719 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
Häftad, Engelska, 2009
719 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
Häftad, Engelska, 2010
719 kr
Skickas inom 10-15 vardagar