1.
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, Se...
by Degano, Pierpaolo, Etalle, ...
ISBN: 9783642197505
List Price: $72.00
2.
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, O...
by Degano, Pierpaolo, Guttman,...
ISBN: 9783642014642
List Price: $74.95
3.
Principles of Security and Trust
by Degano, Pierpaolo, Guttman,...
ISBN: 9783642286407
List Price: $95.00
4.
Vlisp A Verified Implementation of Scheme
by Guttman, Joshua D.
ISBN: 9780792395669
List Price: $185.00
5.
Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, Eindhoven, the...
by Degano, Pierpaolo, Guttman,...
ISBN: 9783642124587
List Price: $72.00
6.
VLISP a Verified Implementation of Scheme : A Special Issue of Lisp and Symbolic Computation...
by Guttman, Joshua D., Wand, M...
ISBN: 9781461359913
List Price: $185.00
7.
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine...
by Guttman, Joshua D., Landweh...
ISBN: 9783030190514
List Price: $69.99