mehr als bücher

Grid  List

  1. Verification of Sequential and Concurrent Programs
    Verification of Sequential and Concurrent Programs
    Krzysztof R Apt
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt
    106,99 €*
  2. Correct System Design
    Correct System Design
    Ernst-Rüdiger Olderog
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  3. 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 €*
  4. 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 €*
  5. Provably Correct Systems
    Provably Correct Systems
    Mike Hinchey
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

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

    106,99 €*
  6. Provably Correct Systems
    Provably Correct Systems
    Mike Hinchey
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    106,99 €*
  7. Model Checking, Synthesis, and Learning
    Model Checking, Synthesis, and Learning
    Ernst-Rüdiger Olderog
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    69,54 €*
  1. 1