Joshua D. Guttman – författare
Visar alla böcker från författaren Joshua D. Guttman. Handla med fri frakt och snabb leverans.
11 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
Av Joshua D. Guttman, Mitchell Wand
Inbunden, 1995
1693 kr
Lägg i varukorg
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 proof was based on the Clinger-Rees denotational semantics of Scheme given in [15). Our goal was to …
VLISP A Verified Implementation of Scheme
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Av Joshua D. Guttman, Mitchell Wand
Häftad, 2012
1693 kr
Lägg i varukorg
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 proof was based on the Clinger-Rees denotational semantics of Scheme given in [15). Our goal was to …
VLISP A Verified Implementation of Scheme
A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Av Mitchell Wand, Joshua D. Guttman
E-bok, 2012
2127 kr
Lägg i varukorg
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 proof was based on the Clinger-Rees denotational semantics of Scheme given in [15). Our goal was to …
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
Av Joshua D. Guttman, Carl E. Landwehr m. fl.
Häftad, 2019
569 kr
Lägg i varukorg
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.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her …
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
Av Dusko Pavlovic, Jose Meseguer m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
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. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her …
Formal Aspects in Security and Trust
5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Av Pierpaolo Degano, Joshua D. Guttman m. fl.
Häftad, 2009
569 kr
Lägg i varukorg
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 with the 13th European Sym- sium on Research in Computer Security (ESORICS 2008). FAST 2008 was …
Formal Aspects in Security and Trust
5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Av Fabio Martinelli, Joshua D. Guttman m. fl.
E-bok, 2009
755 kr
Lägg i varukorg
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 with the 13th European Sym- sium on Research in Computer Security (ESORICS 2008). FAST 2008 was …
Formal Aspects in Security and Trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Av Pierpaolo Degano, Joshua D. Guttman
Häftad, 2010
569 kr
Lägg i varukorg
The present volume contains the proceedings of the 6th International workshop on Formal Aspects of Security and Trust (fast 2009), held in Eindhoven, The Netherlands, 5-6 November 2009, as part of Formal Methods Week 2009. fast is sponsored by IFIP WG 1.7 on Foundations of Security Analysis and …
Formal Aspects in Security and Trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Av Joshua D. Guttman, Pierpaolo Degano
E-bok, 2010
755 kr
Lägg i varukorg
Principles of Security and Trust
First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Av Pierpaolo Degano, Joshua D. Guttman
Häftad, 2012
569 kr
Lägg i varukorg
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 2012, the European Joint Conferences on Theory and Practice of Software.The 20 papers, presented …
Principles of Security and Trust
First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Av Joshua D. Guttman, Pierpaolo Degano
E-bok, 2012
755 kr
Lägg i varukorg
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 2012, the European Joint Conferences on Theory and Practice of Software.The 20 papers, presented …
