*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Applied Semantics
    Applied Semantics
    Gilles Barthe
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book is based on material presented at the international summer school on Applied Semantics ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods for Open Object-Based Distributed Systems
    Formal Methods for Open Object-Based Distributed Systems
    Gilles Barthe
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference o...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Security and Trust Management
    Security and Trust Management
    Gilles Barthe
    Springer, Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

    Personal Security Device.- Privacy Analysis.- Linked Data.- Secure logs.- Information Security.- ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Trustworthy Global Computing
    Trustworthy Global Computing
    Gilles Barthe
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Trustworthy Global Computing.- Elimination of Ghost Variables in Program Logics.- Web Service Com...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    Gilles Barthe
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Mobile Resource Guarantees for Smart Devices.- History-Based Access Control and Secure Informatio...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1