David Basin – författare

Visar alla böcker från författaren David Basin. Handla med fri frakt och snabb leverans.
19 produkter
  • Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland - Rippling: Meta-Level Guidance for Mathematical Reasoning, Inbunden. Tillgänglighet: Lägg i varukorg
    Del 56 - Cambridge Tracts in Theoretical Computer Science

    Rippling: Meta-Level Guidance for Mathematical Reasoning

    AvAlan Bundy,David Basinm. fl.

    Inbunden, Engelska, 2005

    1 579 kr

    Skickas inom 11-20 vardagar

  • Marcello D'Agostino, Dov M. Gabbay, David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò - Labelled Deduction, Inbunden. Tillgänglighet: Lägg i varukorg

    1 113 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. Tillgänglighet: Lägg i varukorg

    1 489 kr

    Skickas inom 10-15 vardagar

  • Adrian Perrig, Peter Muller, Samuel Hitz, David Hausheer, David Basin, Markus Legner, Laurent Chuat - Complete Guide to SCION, E-bok. Tillgänglighet: Lägg i varukorg

    1 268 kr

    Läs direkt efter köp

  • Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig - Complete Guide to SCION, Häftad. Tillgänglighet: Lägg i varukorg

    1 033 kr

    Skickas inom 10-15 vardagar

  • David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse - Modeling and Analyzing Security Protocols with Tamarin, Inbunden. Tillgänglighet: Lägg i varukorg

    634 kr

    Skickas inom 10-15 vardagar

  • Ralf Sasse, Jannik Dreier, Cas Cremers, David Basin - Modeling and Analyzing Security Protocols with Tamarin, E-bok. Tillgänglighet: Lägg i varukorg

    813 kr

    Läs direkt efter köp

  • David Basin, Michael Rusinowitch - Automated Reasoning, Häftad. Tillgänglighet: Lägg i varukorg
  • Michael Rusinowitch, David Basin - Automated Reasoning, E-bok. Tillgänglighet: Lägg i varukorg
  • David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics, Häftad. Tillgänglighet: Lägg i varukorg
  • Burkhart Wolff, David Basin - Theorem Proving in Higher Order Logics, E-bok. Tillgänglighet: Lägg i varukorg
  • David Basin, Patrick Schaller, Michael Schläpfer - Applied Information Security, Inbunden. Tillgänglighet: Lägg i varukorg

    520 kr

    Skickas inom 10-15 vardagar

  • Michael Schlapfer, Patrick Schaller, David Basin - Applied Information Security, E-bok. Tillgänglighet: Lägg i varukorg

    657 kr

    Läs direkt efter köp

  • David Basin, John  C. Mitchell - Principles of Security and Trust, Häftad. Tillgänglighet: Lägg i varukorg
  • John  C. Mitchell, David Basin - Principles of Security and Trust, E-bok. Tillgänglighet: Lägg i varukorg
  • David Basin, Patrick Schaller, Michael Schläpfer - Applied Information Security, Häftad. Tillgänglighet: Lägg i varukorg

    520 kr

    Skickas inom 10-15 vardagar

  • David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò - Labelled Deduction, Häftad. Tillgänglighet: Lägg i varukorg
    Del 17 - Applied Logic Series

    Labelled Deduction

    AvDavid Basin,M. D'Agostinom. fl.

    Häftad, Engelska, 2012

    1 113 kr

    Skickas inom 10-15 vardagar

  • Luca Vigano, Sean Matthews, Dov M. Gabbay, M. D'Agostino, David Basin - Labelled Deduction, E-bok. Tillgänglighet: Lägg i varukorg

    AvLuca Vigano,Sean Matthewsm. fl.

    E-bok
    PDF, Engelska, 2012

    1 413 kr

    Läs direkt efter köp