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. Principles of Constraint Programming
    -0 %

    Principles of Constraint Programming

    Krzysztof Apt
    CAMBRIDGE UNIVERSITY PRESS 28.08.2003 - 2003
    Nar: - 420 S. PDesc:
    Sofort lieferbar - Sofort lieferbar

    Constraints are everywhere: most computational problems can be described in terms of restrictions...

    Unser bisheriger Preis:ORGPRICE: 60,79 €

    Jetzt 49,55 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. 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 €
  4. Recent Advances in Constraints

    Recent Advances in Constraints

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

    Constraint programming is the fruit of several decades of research carried out in mathematical lo...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. 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 €
  6. Logics and Models of Concurrent Systems

    Logics and Models of Concurrent Systems

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

    The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof the...

    104,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  7. The Logic Programming Paradigm

    The Logic Programming Paradigm

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

    Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of ...

    104,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  8. 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 €
  1. 1