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

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Franck Cassez
    Springer Verlag GmbH 05.09.2008 - 2008
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Franck Cassez
    Springer Verlag GmbH 29.09.2014 - 2014
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the proceedings of the 12th International Symposium on Automated Technology...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Modeling and Verification of Parallel Processes

    Modeling and Verification of Parallel Processes

    Franck Cassez
    Springer Verlag GmbH 24.10.2001 - 2001
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    InhaltsangabeTutorials and Papers.- Model Checking: A Tutorial Overview.- Theorem Proving for Ver...

    45,10 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1