Hoppa till sidans huvudinnehåll

David Basin - Böcker

Visar alla böcker från författaren David Basin.
11 produkter
Del 56 - Cambridge Tracts in Theoretical Computer Science

Rippling: Meta-Level Guidance for Mathematical Reasoning

AvAlan Bundy,David Basin,Dieter Hutter,Andrew Ireland

Inbunden, Engelska, 2005

1 829 kr

Skickas inom 7-10 vardagar

Labelled Deduction

AvMarcello D'Agostino,Dov M. Gabbay,David Basin,M. D'Agostino,Dov M. Gabbay,Seán Matthews,Luca Viganò,Dov M Gabbay

Inbunden, Engelska, 2000

1 389 kr

Skickas inom 10-15 vardagar

Complete Guide to SCION

From Design Principles to Formal Verification

AvLaurent Chuat,Markus Legner,David Basin,David Hausheer,Samuel Hitz,Peter Müller,Adrian Perrig,Peter Muller

Inbunden, Engelska, 2022

1 859 kr

Skickas inom 10-15 vardagar

Complete Guide to SCION

From Design Principles to Formal Verification

AvLaurent Chuat,Markus Legner,David Basin,David Hausheer,Samuel Hitz,Peter Müller,Adrian Perrig,Peter Muller

Häftad, Engelska, 2023

1 289 kr

Skickas inom 10-15 vardagar

Modeling and Analyzing Security Protocols with Tamarin

A Comprehensive Guide

AvDavid Basin,Cas Cremers,Jannik Dreier,Ralf Sasse

Inbunden, Engelska, 2025

789 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 429 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

699 kr

Skickas inom 10-15 vardagar

Applied Information Security

A Hands-on Approach

AvDavid Basin,Patrick Schaller,Michael Schläpfer,Michael Schlapfer

Inbunden, Engelska, 2011

649 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,John C. Mitchell

Häftad, Engelska, 2013

699 kr

Skickas inom 10-15 vardagar

Applied Information Security

A Hands-on Approach

AvDavid Basin,Patrick Schaller,Michael Schläpfer

Häftad, Engelska, 2013

649 kr

Skickas inom 10-15 vardagar

Del 17 - Applied Logic Series

Labelled Deduction

AvDavid Basin,M. D'Agostino,Dov M. Gabbay,Seán Matthews,Luca Viganò,Marcello D'Agostino

Häftad, Engelska, 2012

1 389 kr

Skickas inom 10-15 vardagar