*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. VLISP A Verified Implementation of Scheme
    VLISP A Verified Implementation of Scheme
    Mitchell Wand
    Springer US, Springer New York
    Taschenbuch
    BOD - 2 Tage

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

    163,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer, Springer Spektrum
    Taschenbuch
    BOD - 2 Tage

    Invited Lecture.- Semantics and Enforcement of Expressive Information Flow Policies.- Session 1. ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Foundations of Security, Protocols, and Equational Reasoning
    Foundations of Security, Protocols, and Equational Reasoning
    Joshua D. Guttman
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Logic, Language, and Security
    Logic, Language, and Security
    Vivek Nigam
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1