Erweiterte Suche

Grid  List

  1. Formal Aspects in Security and Trust Formal Aspects in Security and Trust

    Formal Aspects in Security and Trust

    Pierpaolo Degano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    09.04.2009

    The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Aspects in Security and Trust Formal Aspects in Security and Trust

    Formal Aspects in Security and Trust

    Joshua D. Guttman
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.04.2010

    The present volume contains the proceedings of the 6th International workshop on Formal Aspects o...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. VLISP A Verified Implementation of Scheme VLISP A Verified Implementation of Scheme

    VLISP A Verified Implementation of Scheme

    Mitchell Wand
    Springer US
    21.11.2012

    The VLISP project showed how to produce a comprehensively verified implemen tation for a programm...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Foundations of Security, Protocols, and Equational Reasoning Foundations of Security, Protocols, and Equational Reasoning

    Foundations of Security, Protocols, and Equational Reasoning

    Joshua D. Guttman
    Springer International Publishing, Springer Nature Switzerland
    28.04.2019

    This Festschrift volume is published in honor of Catherine A. Meadows and contains essays present...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Logic, Language, and Security Logic, Language, and Security

    Logic, Language, and Security

    Vivek Nigam
    Springer International Publishing, Springer Nature Switzerland
    29.10.2020

    This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. Th...

    Taschenbuch
    64,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Aspects of Security and Trust Formal Aspects of Security and Trust

    Formal Aspects of Security and Trust

    Pierpaolo Degano
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 64,19 €

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

    Principles of Security and Trust

    Pierpaolo Degano
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the first International Conference on Principle...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. VLISP A Verified Implementation of Scheme VLISP A Verified Implementation of Scheme

    VLISP A Verified Implementation of Scheme

    Joshua D. Guttman
    Springer, Berlin, Springer US, Springer

    The VLISP project showed how to produce a comprehensively verified implemen tation for a programm...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 195,50 €

    Jetzt 160,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1