Detailsuche

Grid  List

  1. Verified Software. Theories, Tools, and Experiments
    0 %
    Verified Software. Theories, Tools, and Experiments
    Sandrine Blazy
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This volume constitutes the thoroughly refereed post-conferenceproceedings of the 8th Internati...

    Unser bisheriger Preis:ORGPRICE: 57,02 €

    Jetzt 57,01 €Ebook
    Alle Preise inkl. MwSt
  2. Interactive Theorem Proving
    0 %
    Interactive Theorem Proving
    Sandrine Blazy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 4th International Conference on Interactive...

    Unser bisheriger Preis:ORGPRICE: 56,18 €

    Jetzt 56,17 €Ebook
    Alle Preise inkl. MwSt
  3. Program Logics for Certified Compilers
    0 %
    Program Logics for Certified Compilers
    Andrew W. Appel
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Separation logic is the twenty-first-century variant of Hoare logic that permits verification of ...

    Unser bisheriger Preis:ORGPRICE: 105,65 €

    Jetzt 105,64 €Ebook
    Alle Preise inkl. MwSt
  4. Interactive Theorem Proving
    0 %
    Interactive Theorem Proving
    Sandrine Blazy
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 4th International Conference on Interactive...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Sémantiques formelles
    Sémantiques formelles
    Sandrine Blazy
    Éditions universitaires européennes
    Taschenbuch
    Print on Demand

    Ce livre introduit les sémantiques formelles et détaille des exemples d'utilisation pour définir ...

    49,00 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Verified Software. Theories, Tools, and Experiments
    0 %
    Verified Software. Theories, Tools, and Experiments
    Sandrine Blazy
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

    This volume constitutes the thoroughly refereed post-conferenceproceedings of the 8th Internati...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

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