Erweiterte Suche

Grid  List

  1. Foundations of Security Analysis and Design V Foundations of Security Analysis and Design V

    Foundations of Security Analysis and Design V

    Alessandro Aldini
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    FOSAD has been one of the foremost educational events established with the goal of disseminating ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 59,99 €

    Jetzt 49,17 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Security and Trust Management Security and Trust Management

    Security and Trust Management

    Gilles Barthe
    Springer International Publishing, Springer International Publishing
    17.09.2016

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Gilles Barthe
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the proceedings of the 11th International Conference on Veri?cation, Model C...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices 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
    21.01.2005

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Trustworthy Global Computing Trustworthy Global Computing

    Trustworthy Global Computing

    Cédric Fournet
    Springer Berlin Heidelberg
    18.03.2008

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Applied Semantics Applied Semantics

    Applied Semantics

    Gilles Barthe
    Springer Berlin Heidelberg
    21.08.2002

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods for Open Object-Based Distributed Systems Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Gilles Barthe
    Springer Berlin Heidelberg
    29.05.2008

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Security and Trust Management Security and Trust Management

    Security and Trust Management

    Jorge Cuellar
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...

    Taschenbuch
    53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Software Engineering and Formal Methods Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Gilles Barthe
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 9th International Conference on Software En...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 89,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Engineering Secure Software and Systems Engineering Secure Software and Systems

    Engineering Secure Software and Systems

    Gilles Barthe
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 4th International Symposium on Engineering ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 64,99 €

    Jetzt 49,22 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Gilles Barthe
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed post-proceedings of the Second International Workshop on Const...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 69,54 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Formal Aspects of Security and Trust Formal Aspects of Security and Trust

    Formal Aspects of Security and Trust

    Gilles Barthe
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th Internationa...

    Taschenbuch
    53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2