Haben Sie Fragen? +49 (0)5563 / 999 60 39
Mein Konto Merkzettel Wunschliste Zuletzt gesehen

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. VLISP A Verified Implementation of Scheme
    -0 %

    VLISP A Verified Implementation of Scheme

    Joshua D Guttman
    Springer Verlag GmbH 21.11.2012 - 2012
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    Unser bisheriger Preis:ORGPRICE: 157,49 €

    Jetzt 120,37 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Formal Aspects in Security and Trust

    Formal Aspects in Security and Trust

    Pierpaolo Degano
    Springer Verlag GmbH 20.04.2010 - 2010
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Foundations of Security, Protocols, and Equational Reasoning

    Foundations of Security, Protocols, and Equational Reasoning

    Joshua D Guttman
    Springer Verlag GmbH 28.04.2019 - 2019
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. VLISP A Verified Implementation of Scheme
    -0 %

    VLISP A Verified Implementation of Scheme

    Joshua D Guttman
    Springer Verlag GmbH 31.05.1995 - 1995
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

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

    Unser bisheriger Preis:ORGPRICE: 158,48 €

    Jetzt 120,37 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. Principles of Security and Trust
    -0 %

    Principles of Security and Trust

    Pierpaolo Degano
    Springer Verlag GmbH 14.03.2012 - 2012
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

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

    Unser bisheriger Preis:ORGPRICE: 73,49 €

    Jetzt 52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  6. Formal Aspects in Security and Trust
    -0 %

    Formal Aspects in Security and Trust

    Pierpaolo Degano
    Springer Verlag GmbH 07.03.2011 - 2011
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

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

    Unser bisheriger Preis:ORGPRICE: 62,99 €

    Jetzt 52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1