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

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Advances in Temporal Logic
    -0 %

    Advances in Temporal Logic

    Howard Barringer
    Springer Verlag GmbH 31.12.1999 - 1999
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Time is a fascinating subject and has long since captured mankind's imagination, from the ancient...

    Unser bisheriger Preis:ORGPRICE: 157,49 €

    Jetzt 120,37 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Temporal Logic in Specification

    Temporal Logic in Specification

    Behnam Banieqbal
    Springer Verlag GmbH 11.10.1989 - 1989
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    InhaltsangabeComparing linear and branching time temporal logics.- Interleaving set temporal logi...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. A Survey of Verification Techniques for Parallel Programs

    A Survey of Verification Techniques for Parallel Programs

    Howard Barringer
    Springer Verlag GmbH 01.05.1985 - 1985
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    InhaltsangabeFlow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfe...

    24,14 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. Advances in Temporal Logic
    -0 %

    Advances in Temporal Logic

    Howard Barringer
    Springer Verlag GmbH 08.12.2010 - 2010
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Time is a fascinating subject and has long since captured mankind's imagination, from the ancient...

    Unser bisheriger Preis:ORGPRICE: 157,49 €

    Jetzt 120,37 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. Runtime Verification
    -0 %

    Runtime Verification

    Howard Barringer
    Springer Verlag GmbH 19.10.2010 - 2010
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which ...

    Unser bisheriger Preis:ORGPRICE: 98,12 €

    Jetzt 52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1