Grid  List

  1. VLISP A Verified Implementation of Scheme
    0 %
    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 %
    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 %
    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 %

    Unser bisheriger Preis:ORGPRICE: 57,77 €

    Jetzt 57,76 €Ebook
    Alle Preise inkl. MwSt
  5. Principles of Security and Trust
    0 %
    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 %
    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 %
    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. 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 %
    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. 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. 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. 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