*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Tests and Proofs
    Tests and Proofs
    Margus Veanes
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    InhaltsangabeIncremental Refinement Checking for Test Case Generation.- Time for Mutants - Model-...

    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Labelled Deduction
    Labelled Deduction
    David Basin
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Labelled deduction is an approach to providing frameworks forpresenting and using different log...

    110,35 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Foundations and Applications of Security Analysis
    Foundations and Applications of Security Analysis
    Luca Viganò
    J.B. Metzler
    Taschenbuch
    BOD - 2 Tage

    A Policy Model for Secure Information Flow.- A General Framework for Nondeterministic, Probabilis...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Principles of Security and Trust
    Principles of Security and Trust
    Frank Piessens
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 5th International Conference on Principles of Securi...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Labelled Non-Classical Logics
    Labelled Non-Classical Logics
    Luca Viganò
    Springer US, Springer US
    Taschenbuch
    BOD - 2 Tage

    I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classica...

    163,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Socio-Technical Aspects in Security and Trust
    Socio-Technical Aspects in Security and Trust
    Thomas Groß
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Personality and Behavior.- Behavior in Face of Adversaries.- Smart Environments.- Decentralized S...

    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Socio-Technical Aspects in Security
    Socio-Technical Aspects in Security
    Luca Viganò
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes revised selected papers from the refereed conference proceedings of the 11t...

    74,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Labelled Non-Classical Logics
    Labelled Non-Classical Logics
    Luca Viganò
    Springer US, Springer US
    Buch
    BOD - 7 Tage

    I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classica...

    162,60 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1