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

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Verified Software. Theories, Tools, and Experiments

    Verified Software. Theories, Tools, and Experiments

    Sandrine Blazy
    Springer Verlag GmbH 08.11.2016 - 2016
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Interactive Theorem Proving

    Interactive Theorem Proving

    Sandrine Blazy
    Springer Verlag GmbH 19.07.2013 - 2013
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Static Analysis

    Static Analysis

    Sandrine Blazy
    Springer Verlag GmbH 14.09.2015 - 2015
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. Semantiques formelles
    -0 %

    Semantiques formelles

    Sandrine Blazy
    Éditions universitaires européennes 17.09.2010 - 2010
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    Unser bisheriger Preis:ORGPRICE: 48,08 €

    Jetzt 34,30 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1