David Basin – författare
Visar alla böcker från författaren David Basin.
11 produkter
Rippling: Meta-Level Guidance for Mathematical Reasoning
Av Alan Bundy, David Basin m. fl.
Inbunden, 2005
2459 kr
Lägg i varukorg
Complete Guide to SCION
From Design Principles to Formal Verification
Av Laurent Chuat, Markus Legner m. fl.
Inbunden, 2022
1879 kr
Lägg i varukorg
Complete Guide to SCION
From Design Principles to Formal Verification
Av Laurent Chuat, Markus Legner m. fl.
Häftad, 2023
1309 kr
Lägg i varukorg
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Av David Basin, Cas Cremers m. fl.
Inbunden, 2025
799 kr
Lägg i varukorg
Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Av David Basin, Michael Rusinowitch
Häftad, 2004
1449 kr
Lägg i varukorg
Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Av David Basin, Burkhart Wolff
Häftad, 2003
709 kr
Lägg i varukorg
Applied Information Security
A Hands-on Approach
Av David Basin, Patrick Schaller m. fl.
Inbunden, 2011
659 kr
Lägg i varukorg
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
Av David Basin, John C. Mitchell
Häftad, 2013
729 kr
Lägg i varukorg
Applied Information Security
A Hands-on Approach
Av David Basin, Patrick Schaller m. fl.
Häftad, 2013
659 kr
Lägg i varukorg