5 Ebooks de Joshua D. Guttman
Joshua D. Guttman & Mitchell Wand: VLISP A Verified Implementation of Scheme
The VLISP project showed how to produce a comprehensively verified implemen- tation for a programming language, namely Scheme [4, 15). Some of the major elements in this verification were: * The proo …
PDF
Engleză
DRM
€166.29
Joshua D. Guttman & Carl E. Landwehr: Foundations of Security, Protocols, and Equational Reasoning
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catheri …
EPUB
Engleză
DRM
€57.99
Pierpaolo Degano & Joshua D. Guttman: Formal Aspects in Security and Trust
The present volume contains the proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008), held in Malaga, Spain, October 9-10, 2008. FAST is an event a?liated …
PDF
Engleză
DRM
€57.64
Pierpaolo Degano & Joshua D. Guttman: Principles of Security and Trust
This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 20 …
PDF
Engleză
DRM
€57.99