Profisuche

sandrine blazy

Grid   List

  1. Verified Software. Theories, Tools, and Experiments

    Verified Software. Theories, Tools, and Experiments

    Sandrine Blazy
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This volume constitutes the thoroughly refereed post-conference proceedings of the 8th Internatio...

    53,49 €
    Alle Preise inkl. MwSt
  2. Static Analysis

    Static Analysis

    Sandrine Blazy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposiu...

    53,49 €
    Alle Preise inkl. MwSt
  3. Interactive Theorem Proving

    Interactive Theorem Proving

    Sandrine Blazy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  4. Sémantiques formelles

    Sémantiques formelles

    Sandrine Blazy
    Éditions universitaires européennes
    Taschenbuch
    Bezug 6-10

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

    58,52 €
    Alle Preise inkl. MwSt | zzgl. Versand
  5. Interactive Theorem Proving

    Interactive Theorem Proving

    Sandrine Blazy
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  6. Static Analysis

    Static Analysis

    Thomas Jensen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book constitutes the refereedproceedings of the 22nd International Static Analysis Symp...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Verified Software. Theories, Tools, and Experiments

    Verified Software. Theories, Tools, and Experiments

    Marsha Chechik
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1