Joshua Guttman
Joshua Guttman
1955
4 ספרים במאגר
ספרים
VLISP A Verfied Implementation of SchemeJoshua Guttman
VLISP A Verfied Implementation of Scheme
Joshua Guttman · 1995
Foundations of Security, Protocols, and Equational ReasoningJoshua Guttman
Foundations of Security, Protocols, and Equational Reasoning
Joshua Guttman · 2019
Principles of Security and Trust Lecture Notes in Computer ScienceJoshua Guttman
Principles of Security and Trust Lecture Notes in Computer Science
Joshua Guttman · 2012
Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected PapersJoshua Guttman
Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers
Joshua Guttman · 2009
ספרים משותפים ואוספים
ספרים שבהם Joshua Guttman מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Logic, Language, and SecurityVivek Nigam
Logic, Language, and Security
Vivek Nigam · 2020
Principles of Security and TrustPierpaolo Degano
Principles of Security and Trust
Pierpaolo Degano · 2012
Formal Aspects in Security and TrustPierpaolo Degano
Formal Aspects in Security and Trust
Pierpaolo Degano · 2011
Formal Aspects in Security and TrustPierpaolo Degano
Formal Aspects in Security and Trust
Pierpaolo Degano · 2009