mehr als bücher

Grid  List

  1. The Logic Programming Paradigm
    The Logic Programming Paradigm
    Krzysztof R Apt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeI. Computing and Programming.- 1 Concurrent and Agent Programming.- Logic Programmin...

    106,99 €*
  2. Programmverifikation
    Programmverifikation
    Krzysztof R Apt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    29,95 €*
  3. Verification of Sequential and Concurrent Programs
    Verification of Sequential and Concurrent Programs
    Krzysztof R Apt
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt
    106,99 €*
  4. Recent Advances in Constraints
    Recent Advances in Constraints
    Krzysztof R Apt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  5. Verification of Sequential and Concurrent Programs
    Verification of Sequential and Concurrent Programs
    Krzysztof R Apt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    85,59 €*
  6. Logics and Models of Concurrent Systems
    Logics and Models of Concurrent Systems
    Krzysztof R Apt
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    106,99 €*
  1. 1