語系
跳至 : 概要 | 書目資訊 | 主題

Guttman, Joshua D.

概要
作品: 4 作品在 3 項出版品 1 種語言
書目資訊
Protocols, strands, and logic = essays dedicated to Joshua Guttman on the the occasion of his 66.66th birthday / by: Guttman, Joshua D.; SpringerLink (Online service) (書目-電子資源)
Formal aspects in security and trust = 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers / by: Degano, Pierpaolo.; Guttman, Joshua D.; SpringerLink (Online service); FAST 2009 ((2009 :) (書目-語言資料,印刷品)
Foundations of security, protocols, and equational reasoning = essays dedicated to Catherine A. Meadows / by: Catherine Meadows Festschrift Symposium ((2019 :); Guttman, Joshua D.; SpringerLink (Online service) (書目-電子資源)
VLISP : = a verified implementation of scheme / by: Guttman, Joshua D.; Wand, Mitchell. (書目-語言資料,印刷品)
 
 
變更密碼
登入