Suchergebnisse - Apt, Krzysztof R. 1949-

Treffer filtern
  1. 1
    Buchumschlag

    Constraint logic programming using ECLiPSe
    von Apt, Krzysztof R. 1949-

    Veröffentlicht 2007
    Online lesen
    E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Principles of constraint programming
    von Apt, Krzysztof R. 1949-

    Veröffentlicht 2003
    Online lesen
    E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Using transformations to verify parallel programs
    von Olderog, Ernst-Rüdiger 1955-, Apt, Krzysztof R. 1949-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Studies in pure Prolog: termination
    von Apt, Krzysztof R. 1949-, Pedreschi, Dino

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Countable nondeterminism and random assignment
    von Apt, Krzysztof R. 1949-, Plotkin, Gordon D.

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Introduction to program verification
    von Apt, Krzysztof R. 1949-, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Proving termination of parallel programs
    von Apt, Krzysztof R. 1949-, Boer, Frank S. de, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Verification of sequential and concurrent programs
    von Apt, Krzysztof R. 1949-, Boer, Frank S. de 1956-, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 2009
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    From logic programming to Prolog
    von Apt, Krzysztof R. 1949-

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Programmverifikation: sequentielle, parallele und verteilte Programme
    von Apt, Krzysztof R. 1949-, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Programmverifikation: Sequentielle, parallele und verteilte Programme
    von Apt, Krzysztof R. 1949-

    Veröffentlicht 1994
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    Reasoning about termination of Prolog programs
    von Apt, Krzysztof R. 1949-, Pedreschi, Dino

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Introduction to program verification
    von Apt, Krzysztof R. 1949-, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Acyclic programs: (extended abstract)
    von Apt, Krzysztof R. 1949-, Bezem, Marc

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Studies in pure Prolog: termination
    von Apt, Krzysztof R. 1949-, Pedreschi, Dino

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Appraising fairness in languages for distributed programming
    von Apt, Krzysztof R. 1949-, Francez, N., Katz, S.

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Countable nondeterminism and random assignment
    von Apt, Krzysztof R. 1949-, Plotkin, Gordon D.

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Constraint logic programming using ECLiPSe
    von Apt, Krzysztof R. 1949-

    Veröffentlicht 2007
    Elektronisch E-Book


    Gespeichert in:
  19. 19
    Buchumschlag

    Verification of Sequential and Concurrent Programs
    von Apt, Krzysztof R. 1949-, Boer, Frank S. de, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 2009
    Elektronisch E-Book


    Gespeichert in:
  20. 20
    Buchumschlag

    Principles of constraint programming
    von Apt, Krzysztof R. 1949-

    Veröffentlicht 2003
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: