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

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Verification of Sequential and Concurrent Programs
    -0 %

    Verification of Sequential and Concurrent Programs

    Krzysztof R Apt
    SPRINGER 18.09.2009 - 2009
    Nar: - PDesc:
    Sofort lieferbar - Sofort lieferbar

    This widely anticipated third edition provides a systematic exploration of one of the most common...

    Unser bisheriger Preis:ORGPRICE: 98,08 €

    Jetzt 72,75 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Provably Correct Systems
    -0 %

    Provably Correct Systems

    Mike Hinchey
    SPRINGER 01.03.2017 - 2017
    Nar: - 9.49 MB PDesc:
    Sofort lieferbar - Sofort lieferbar

    As computers increasingly control the systems and services we depend upon within our daily liv...

    Unser bisheriger Preis:ORGPRICE: 146,17 €

    Jetzt 94,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Provably Correct Systems

    Provably Correct Systems

    Mike Hinchey
    Springer Verlag GmbH 10.03.2017 - 2017
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    As computers increasingly control the systems and services we depend upon within our daily lives ...

    104,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. Verification of Sequential and Concurrent Programs
    -0 %

    Verification of Sequential and Concurrent Programs

    Krzysztof R Apt
    Springer Verlag GmbH 05.10.2009 - 2009
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Unser bisheriger Preis:ORGPRICE: 104,99 €

    Jetzt 80,24 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. Correct System Design

    Correct System Design

    Ernst-Rüdiger Olderog
    Springer Verlag GmbH 22.09.1999 - 1999
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Computers are gaining more and more control over systems that we use or rely on in our daily live...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  6. Verification of Sequential and Concurrent Programs
    -0 %

    Verification of Sequential and Concurrent Programs

    Krzysztof R Apt
    Springer Verlag GmbH 14.03.2012 - 2012
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

    Unser bisheriger Preis:ORGPRICE: 83,99 €

    Jetzt 64,19 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  7. Programmverifikation

    Programmverifikation

    Krzysztof R Apt
    Springer Verlag GmbH 21.03.1994 - 1994
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Inhaltsangabe1 Einführung.- 1.1 Beispiel eines parallelen Programmes.- Lösung 1.- Lösung 2.- Lösu...

    29,39 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  8. Provably Correct Systems

    Provably Correct Systems

    Mike Hinchey
    Springer Verlag GmbH 03.05.2018 - 2018
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    As computers increasingly control the systems and services we depend upon within our daily lives ...

    104,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  9. Model Checking, Synthesis, and Learning

    Model Checking, Synthesis, and Learning

    Ernst-Rüdiger Olderog
    Springer Verlag GmbH 22.11.2021 - 2021
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen
    68,24 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1