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

Your search for Gavin Lowe

  1. Cover: Thinking About Programs - Association for Computing Machinery
    Gavin Lowe
    Thinking About Programs
    08/2025
    Association for Computing Machinery
    9798400731600 (ISBN)
    E-Book
    ePUB
    €46.99
    Available for download
  2. Cover: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Springer
    Alessandro Armando | Gavin Lowe
    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
    Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers
    10/2010
    Springer
    9783642160745 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  3. Cover: Thinking About Programs - Association of Computing Machinery,U.S.
    Gavin Lowe
    Thinking About Programs
    08/2025
    Association of Computing Machinery,U.S.
    9798400731631 (ISBN)
    Book
    Paperback/Softback
    €83.10
    Shipment within 10-20 days
  4. Cover: Thinking About Programs - Association of Computing Machinery,U.S.
    Gavin Lowe
    Thinking About Programs
    08/2025
    Association of Computing Machinery,U.S.
    9798400731617 (ISBN)
    Book
    Hardback
    €100.30
    Shipment within 10-20 days
  5. Cover: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Springer
    Alessandro Armando | Gavin Lowe
    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
    Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers
    10/2010
    1st EDN1st Edition
    Springer
    9783642160738 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Exhausted; check different version
  6. Cover: Modelling & Analysis of Security Protocols - Addison Wesley
    Peter Ryan | Steve Schneider | Michael Goldsmith
    Modelling & Analysis of Security Protocols
    12/2000
    Addison Wesley
    9780201674712 (ISBN)
    Book
    Paperback/Softback
    €85.41
    Exhausted; no reprint