David Basin – författare & böcker | Akademibokhandeln

David Basin – författare

Visar alla böcker från författaren David Basin.

11 produkter

Kategorier

11 produkter

Del 56
Del 56 - Cambridge Tracts in Theoretical Computer Science
Rippling: Meta-Level Guidance for Mathematical Reasoning
AvAlan Bundy,David Basinm. fl.
Inbunden, Engelska, 2005
2 419 kr
Skickas inom 5-8 vardagar
Labelled Deduction
AvMarcello D'Agostino,Dov M. Gabbaym. fl.
Inbunden, Engelska, 2000
1 439 kr
Skickas inom 10-15 vardagar
Complete Guide to SCION
From Design Principles to Formal Verification
AvLaurent Chuat,Markus Legnerm. fl.
Inbunden, Engelska, 2022
1 919 kr
Skickas inom 10-15 vardagar
Complete Guide to SCION
From Design Principles to Formal Verification
AvLaurent Chuat,Markus Legnerm. fl.
Häftad, Engelska, 2023
1 329 kr
Skickas inom 10-15 vardagar
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
AvDavid Basin,Cas Cremersm. fl.
Inbunden, Engelska, 2025
819 kr
Skickas inom 10-15 vardagar
Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
AvDavid Basin,Michael Rusinowitch
Häftad, Engelska, 2004
1 479 kr
Skickas inom 10-15 vardagar
Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
AvDavid Basin,Burkhart Wolff
Häftad, Engelska, 2003
719 kr
Skickas inom 10-15 vardagar
Applied Information Security
A Hands-on Approach
AvDavid Basin,Patrick Schallerm. fl.
Inbunden, Engelska, 2011
669 kr
Skickas inom 10-15 vardagar
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
AvDavid Basin,John C. Mitchell
Häftad, Engelska, 2013
749 kr
Skickas inom 10-15 vardagar
Applied Information Security
A Hands-on Approach
AvDavid Basin,Patrick Schallerm. fl.
Häftad, Engelska, 2013
669 kr
Skickas inom 10-15 vardagar
Del 17
Del 17 - Applied Logic Series
Labelled Deduction
AvDavid Basin,M. D'Agostinom. fl.
Häftad, Engelska, 2012
1 429 kr
Skickas inom 10-15 vardagar