David Basin - Böcker

Visar alla böcker från författaren David Basin.
11 produkter
Alan Bundy, David Basin, Dieter Hutter - Rippling: Meta-Level Guidance for Mathematical Reasoning, Inbunden

Rippling: Meta-Level Guidance for Mathematical Reasoning

Av Alan Bundy, David Basin, Dieter Hutter

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
Del 17 - Applied Logic Series

Labelled Deduction

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

Inbunden, Engelska, 2000

1 419 kr

Skickas inom 7-10 vardagar
Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig, Peter Muller - Complete Guide to SCION, Inbunden

Complete Guide to SCION

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

Inbunden, Engelska, 2022

1 839 kr

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

Complete Guide to SCION

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

Häftad, Engelska, 2023

1 279 kr

Skickas inom 7-10 vardagar
David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse - Modeling and Analyzing Security Protocols with Tamarin, Inbunden

Modeling and Analyzing Security Protocols with Tamarin

Av David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse

Inbunden, Engelska, 2025

919 kr

Skickas inom 7-10 vardagar
David Basin, Michael Rusinowitch - Automated Reasoning, Häftad

Automated Reasoning

Av David Basin, Michael Rusinowitch

Häftad, Engelska, 2004

1 459 kr

Skickas inom 7-10 vardagar
David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics, Häftad
Del 2758 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av David Basin, Burkhart Wolff

Häftad, Engelska, 2003

719 kr

Skickas inom 7-10 vardagar
David Basin, Patrick Schaller, Michael Schläpfer, Michael Schlapfer - Applied Information Security, Inbunden

Applied Information Security

Av David Basin, Patrick Schaller, Michael Schläpfer, Michael Schlapfer

Inbunden, Engelska, 2011

669 kr

Skickas inom 7-10 vardagar
David Basin, John C. Mitchell, John C. Mitchell - Principles of Security and Trust, Häftad

Principles of Security and Trust

Av David Basin, John C. Mitchell, John C. Mitchell

Häftad, Engelska, 2013

719 kr

Skickas inom 7-10 vardagar
David Basin, Patrick Schaller, Michael Schläpfer - Applied Information Security, Häftad

Applied Information Security

Av David Basin, Patrick Schaller, Michael Schläpfer

Häftad, Engelska, 2013

669 kr

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

Labelled Deduction

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

Häftad, Engelska, 2012

1 419 kr

Skickas inom 7-10 vardagar