*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Applied Semantics
    Applied Semantics
    Gilles Barthe
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    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 Berlin Heidelberg
    Taschenbuch
    Print on Demand

    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 International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 12th International Workshop on Security and...

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Trustworthy Global Computing
    Trustworthy Global Computing
    Cédric Fournet
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the post-proceedings of the third edition of the Int- national Symposium on ...

    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 Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains a selection of refereed papers from participants of the workshop ¿Constructi...

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