joshua d guttman

Grid   List

  1. Formal Aspects of Security and Trust
    Formal Aspects of Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International Confe...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Foundations of Security, Protocols, and Equational Reasoning
    Foundations of Security, Protocols, and Equational Reasoning
    Joshua D. Guttman
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniq...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal Aspects in Security and Trust
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Principles of Security and Trust
    Principles of Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Logic, Language, and Security
    Logic, Language, and Security
    Vivek Nigam
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer scie...
    64,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. VLISP A Verified Implementation of Scheme
    VLISP A Verified Implementation of Scheme
    Joshua D. Guttman
    Springer US
    Ebook
    Sofort lieferbar
    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 pr...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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?liat...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Joshua D. Guttman
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. VLISP A Verified Implementation of Scheme
    VLISP A Verified Implementation of Scheme
    Mitchell Wand
    Springer US, Springer New York
    Taschenbuch
    Bezug 11-15
    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 pro...
    184,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Logic, Language, and Security
    Logic, Language, and Security
    Vivek Nigam
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformat...
    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Foundations of Security, Protocols, and Equational Reasoning
    Foundations of Security, Protocols, and Equational Reasoning
    Joshua D. Guttman
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 16-20
    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....
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>