9 results
Type of media (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
9 results

Your search for Joshua D. Guttman

  1. Cover: Foundations of Security, Protocols, and Equational Reasoning - Springer
    Joshua D. Guttman | Carl E. Landwehr | José Meseguer
    Foundations of Security, Protocols, and Equational Reasoning
    Essays Dedicated to Catherine A. Meadows
    05/2019
    Springer
    9783030190521 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Principles of Security and Trust - Springer
    Pierpaolo Degano | Joshua D. Guttman
    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
    03/2012
    Springer
    9783642286414 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Aspects in Security and Trust - Springer
    Pierpaolo Degano | Joshua D. Guttman
    Formal Aspects in Security and Trust
    6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
    04/2010
    Springer
    9783642124594 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Principles of Security and Trust - Springer
    Pierpaolo Degano | Joshua D. Guttman
    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
    03/2012
    1st EDN1st Edition
    Springer
    9783642286407 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Foundations of Security, Protocols, and Equational Reasoning - Springer
    Joshua D. Guttman | Carl E. Landwehr | José Meseguer
    Foundations of Security, Protocols, and Equational Reasoning
    Essays Dedicated to Catherine A. Meadows
    04/2019
    Springer
    9783030190514 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: VLISP A Verified Implementation of Scheme - Springer
    Joshua D. Guttman | Mitchell Wand
    VLISP A Verified Implementation of Scheme
    A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
    11/2012
    Springer
    9781461359913 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 7-9 days
  7. Cover: Formal Aspects in Security and Trust - Springer
    Pierpaolo Degano | Joshua D. Guttman | Fabio Martinelli
    Formal Aspects in Security and Trust
    5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
    04/2009
    Springer
    9783642014642 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Formal Aspects in Security and Trust - Springer
    Pierpaolo Degano | Joshua D. Guttman
    Formal Aspects in Security and Trust
    6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
    04/2010
    1st EDN1st Edition
    Springer
    9783642124587 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: VLISP A Verified Implementation of Scheme - Kluwer Academic Publishers
    Joshua D. Guttman | Mitchell Wand
    VLISP A Verified Implementation of Scheme
    A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
    05/1995
    Kluwer Academic Publishers
    9780792395669 (ISBN)
    Book
    Hardback
    Other editions
    €160.49
    Shipment within 15-20 days