18 results
Type of media (2)
Availability (2)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
18 results

Your search for David Basin

  1. Cover: Modeling and Analyzing Security Protocols with Tamarin - Springer
    David Basin | Cas Cremers | Jannik Dreier
    Modeling and Analyzing Security Protocols with Tamarin
    A Comprehensive Guide
    07/2025
    1st EDN1st Edition
    Springer
    9783031909368 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  2. Cover: The Complete Guide to SCION - Springer
    Laurent Chuat | Markus Legner | David Basin
    The Complete Guide to SCION
    From Design Principles to Formal Verification
    05/2022
    1st EDN1st Edition
    Springer
    9783031052880 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Principles of Security and Trust - Springer
    David Basin | John C. Mitchell
    Principles of Security and Trust
    Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    02/2013
    Springer
    9783642368301 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Applied Information Security - Springer
    David Basin | Patrick Schaller | Michael Schläpfer
    Applied Information Security
    A Hands-on Approach
    10/2011
    1st EDN1st Edition
    Springer
    9783642244742 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  5. Cover: Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge University Press
    Alan Bundy | David Basin | Dieter Hutter
    Rippling: Meta-Level Guidance for Mathematical Reasoning
    Meta-Level Guidance for Mathematical Reasoning
    09/2005
    1st EDN1st Edition
    Cambridge University Press
    9780511111853 (ISBN)
    E-Book
    PDF
    Other editions
    €91.99
    Available for download
  6. Cover: Theorem Proving in Higher Order Logics - Springer
    David Basin | Burkhart Wolff
    Theorem Proving in Higher Order Logics
    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    09/2003
    Springer
    9783540451303 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Applied Information Security - Springer
    David Basin | Patrick Schaller | Michael Schläpfer
    Applied Information Security
    A Hands-on Approach
    11/2013
    Springer
    9783642436321 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €48.14
    Shipment within 7-9 days
  8. Cover: Principles of Security and Trust - Springer
    David Basin | John C. Mitchell
    Principles of Security and Trust
    Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    02/2013
    Springer
    9783642368295 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Applied Information Security - Springer
    David Basin | Patrick Schaller | Michael Schläpfer
    Applied Information Security
    A Hands-on Approach
    10/2011
    Springer
    9783642244735 (ISBN)
    Book
    Hardback
    Other editions
    €48.14
    Shipment within 7-9 days
  10. Cover: Modeling and Analyzing Security Protocols with Tamarin - Springer
    David Basin | Cas Cremers | Jannik Dreier
    Modeling and Analyzing Security Protocols with Tamarin
    A Comprehensive Guide
    07/2025
    Springer
    9783031909351 (ISBN)
    Book
    Hardback
    Other editions
    €58.84
    Shipment within 15-20 days
  11. Cover: The Complete Guide to SCION - Springer
    Laurent Chuat | Markus Legner | David Basin
    The Complete Guide to SCION
    From Design Principles to Formal Verification
    05/2023
    Springer
    9783031052903 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €96.29
    Shipment within 15-20 days
  12. Cover: The Complete Guide to SCION - Springer
    Laurent Chuat | Markus Legner | David Basin
    The Complete Guide to SCION
    From Design Principles to Formal Verification
    05/2022
    Springer
    9783031052873 (ISBN)
    Book
    Hardback
    Other editions
    €139.09
    Shipment within 15-20 days
  13. Cover: Automated Reasoning - Springer
    David Basin | Michael Rusinowitch
    Automated Reasoning
    Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
    06/2004
    Springer
    9783540223450 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  14. Cover: Labelled Deduction - Springer
    David Basin | M. D'Agostino | Dov M. Gabbay
    Labelled Deduction
    10/2012
    Springer
    9789401057813 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  15. Cover: Theorem Proving in Higher Order Logics - Springer
    David Basin | Burkhart Wolff
    Theorem Proving in Higher Order Logics
    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    08/2003
    1st EDN1st Edition
    Springer
    9783540406648 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  16. Cover: Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge University Press
    Alan Bundy | David Basin | Dieter Hutter
    Rippling: Meta-Level Guidance for Mathematical Reasoning
    Meta-Level Guidance for Mathematical Reasoning
    06/2005
    Cambridge University Press
    9780521834490 (ISBN)
    Book
    Hardback
    Other editions
    €158.30
    Shipment within 15-20 days
  17. Cover: Labelled Deduction - Kluwer Academic Publishers
    David Basin | M. D'Agostino | Dov M. Gabbay
    Labelled Deduction
    04/2000
    Kluwer Academic Publishers
    9780792362371 (ISBN)
    Book
    Hardback
    Other editions
    €106.50
    Shipment within 15-20 days
  18. Cover: Labelled Deduction - Springer
    David Basin | M. D'Agostino | Dov M Gabbay
    Labelled Deduction
    04/2000
    Springer
    9789401140416 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available