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: 164,66 €

    Jetzt 164,65 €Ebook
    Alle Preise inkl. MwSt
  2. 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: 69,91 €

    Jetzt 69,90 €Ebook
    Alle Preise inkl. MwSt
  3. 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: 56,91 €

    Jetzt 56,90 €Ebook
    Alle Preise inkl. MwSt
  4. 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: 56,54 €

    Jetzt 56,53 €Ebook
    Alle Preise inkl. MwSt
  5. 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,20 €

    Jetzt 57,19 €Ebook
    Alle Preise inkl. MwSt
  6. 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 56,17 €Ebook
    Alle Preise inkl. MwSt
  7. 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: 56,81 €

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

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Foundations of Security, Protocols, and Equational Reasoning
    0 %
    Foundations of Security, Protocols, and Equational Reasoning
    Joshua D. Guttman
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Logic, Language, and Security
    0 %
    Logic, Language, and Security
    Vivek Nigam
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 64,19 €

    Jetzt 64,18 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Formal Aspects of Security and Trust
    0 %
    Formal Aspects of Security and Trust
    Pierpaolo Degano
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Principles of Security and Trust
    0 %
    Principles of Security and Trust
    Pierpaolo Degano
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2