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

Av Alan Bundy, David Basin m. fl

Inbunden, Engelska, 2005

1 879 kr

Skickas inom 10-15 vardagar
Del 17 - Applied Logic Series

Labelled Deduction

Av Marcello D'Agostino, Dov M. Gabbay m. fl

Inbunden, Engelska, 2000

1 409 kr

Skickas inom 10-15 vardagar

Complete Guide to SCION

From Design Principles to Formal Verification

Av Laurent Chuat, Markus Legner m. fl

Inbunden, Engelska, 2022

1 829 kr

Skickas inom 10-15 vardagar

Complete Guide to SCION

From Design Principles to Formal Verification

Av Laurent Chuat, Markus Legner m. fl

Häftad, Engelska, 2023

1 269 kr

Skickas inom 10-15 vardagar

Modeling and Analyzing Security Protocols with Tamarin

A Comprehensive Guide

Av David Basin, Cas Cremers m. fl

Inbunden, Engelska, 2025

919 kr

Skickas inom 10-15 vardagar

Automated Reasoning

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

Av David Basin, Michael Rusinowitch

Häftad, Engelska, 2004

1 409 kr

Skickas inom 10-15 vardagar

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, Engelska, 2003

709 kr

Skickas inom 10-15 vardagar

Applied Information Security

A Hands-on Approach

Av David Basin, Patrick Schaller m. fl

Inbunden, Engelska, 2011

659 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

Av David Basin, John C. Mitchell m. fl

Häftad, Engelska, 2013

709 kr

Skickas inom 10-15 vardagar

Applied Information Security

A Hands-on Approach

Av David Basin, Patrick Schaller m. fl

Häftad, Engelska, 2013

659 kr

Skickas inom 10-15 vardagar
Del 17 - Applied Logic Series

Labelled Deduction

Av David Basin, M. D'Agostino m. fl

Häftad, Engelska, 2012

1 409 kr

Skickas inom 10-15 vardagar