Hoppa till sidans huvudinnehåll

David Basin – författare

Visar alla böcker från författaren David Basin.
11 produkter
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland - Rippling: Meta-Level Guidance for Mathematical Reasoning, Inbunden
Del 56 - Cambridge Tracts in Theoretical Computer Science

Rippling: Meta-Level Guidance for Mathematical Reasoning

AvAlan Bundy,David Basinm. fl.

Inbunden, Engelska, 2005

1 969 kr

Skickas inom 7-10 vardagar

Marcello D'Agostino, Dov M. Gabbay, David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò - Labelled Deduction, Inbunden

Labelled Deduction

AvMarcello D'Agostino,Dov M. Gabbaym. fl.

Inbunden, Engelska, 2000

1 419 kr

Skickas inom 10-15 vardagar

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig - Complete Guide to SCION, Inbunden

Complete Guide to SCION

From Design Principles to Formal Verification

AvLaurent Chuat,Markus Legnerm. fl.

Inbunden, Engelska, 2022

1 899 kr

Skickas inom 10-15 vardagar

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig - Complete Guide to SCION, Häftad

Complete Guide to SCION

From Design Principles to Formal Verification

AvLaurent Chuat,Markus Legnerm. fl.

Häftad, Engelska, 2023

1 319 kr

Skickas inom 10-15 vardagar

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse - Modeling and Analyzing Security Protocols with Tamarin, Inbunden

Modeling and Analyzing Security Protocols with Tamarin

A Comprehensive Guide

AvDavid Basin,Cas Cremersm. fl.

Inbunden, Engelska, 2025

809 kr

Skickas inom 10-15 vardagar

David Basin, Michael Rusinowitch - Automated Reasoning, Häftad

Automated Reasoning

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

AvDavid Basin,Michael Rusinowitch

Häftad, Engelska, 2004

1 459 kr

Skickas inom 10-15 vardagar

David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics, Häftad

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

709 kr

Skickas inom 10-15 vardagar

David Basin, Patrick Schaller, Michael Schläpfer - Applied Information Security, Inbunden

Applied Information Security

A Hands-on Approach

AvDavid Basin,Patrick Schallerm. fl.

Inbunden, Engelska, 2011

659 kr

Skickas inom 10-15 vardagar

David Basin, John C. Mitchell - Principles of Security and Trust, Häftad

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

739 kr

Skickas inom 10-15 vardagar

David Basin, Patrick Schaller, Michael Schläpfer - Applied Information Security, Häftad

Applied Information Security

A Hands-on Approach

AvDavid Basin,Patrick Schallerm. fl.

Häftad, Engelska, 2013

659 kr

Skickas inom 10-15 vardagar

David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò - Labelled Deduction, Häftad
Del 17 - Applied Logic Series

Labelled Deduction

AvDavid Basin,M. D'Agostinom. fl.

Häftad, Engelska, 2012

1 419 kr

Skickas inom 10-15 vardagar