Detailsuche

Grid  List

  1. VLISP A Verified Implementation of Scheme
    0 %
    VLISP A Verified Implementation of Scheme
    Joshua D. Guttman
    Springer US
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 166,29 €

    Jetzt 166,28 €Ebook
    Alle Preise inkl. MwSt
  2. Formal Aspects in Security and Trust
    0 %
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 71,39 €

    Jetzt 57,63 €Ebook
    Alle Preise inkl. MwSt
  3. Formal Aspects of Security and Trust
    0 %
    Formal Aspects of Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,17 €

    Jetzt 57,16 €Ebook
    Alle Preise inkl. MwSt
  4. Formal Aspects in Security and Trust
    0 %
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,77 €

    Jetzt 57,76 €Ebook
    Alle Preise inkl. MwSt
  5. Principles of Security and Trust
    0 %
    Principles of Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,99 €

    Jetzt 57,98 €Ebook
    Alle Preise inkl. MwSt
  6. Foundations of Security, Protocols, and Equational Reasoning
    0 %
    Foundations of Security, Protocols, and Equational Reasoning
    Joshua D. Guttman
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,99 €

    Jetzt 57,98 €Ebook
    Alle Preise inkl. MwSt
  7. Logic, Language, and Security
    0 %
    Logic, Language, and Security
    Joshua Guttman
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 71,05 €

    Jetzt 71,04 €Ebook
    Alle Preise inkl. MwSt
  8. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. VLISP A Verified Implementation of Scheme
    0 %
    VLISP A Verified Implementation of Scheme
    Mitchell Wand
    Springer US
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 180,30 €

    Jetzt 180,28 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Joshua D. Guttman
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Foundations of Security, Protocols, and Equational Reasoning
    Foundations of Security, Protocols, and Equational Reasoning
    Joshua D. Guttman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Logic, Language, and Security
    Logic, Language, and Security
    Vivek Nigam
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

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