Search Results - Apt, Krzysztof R. 1949-

Filter by
  1. 1
    Cover Image

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

    Published 2007
    Read online
    eBook


    Saved in:
  2. 2
    Cover Image

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

    Published 2003
    Read online
    eBook


    Saved in:
  3. 3
    Cover Image

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

    Published 1990
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1990
    Read online (freely available)
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1982
    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 1990
    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1990
    Read online (freely available)
    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 2009
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1997
    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 1994
    Table of Contents
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1994
    Read online
    Electronic eBook


    Saved in:
  12. 12
    Cover Image

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

    Published 1991
    Book


    Saved in:
  13. 13
    Cover Image

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

    Published 1990
    Read online (freely available)
    Book


    Saved in:
  14. 14
    Cover Image

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

    Published 1990
    Read online (freely available)
    Book


    Saved in:
  15. 15
    Cover Image

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

    Published 1990
    Book


    Saved in:
  16. 16
    Cover Image

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

    Published 1988
    Book


    Saved in:
  17. 17
    Cover Image

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

    Published 1982
    Book


    Saved in:
  18. 18
    Cover Image

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

    Published 2007
    Read online (BSB)

    Library Card of Bavarian State Library (BSB) necessary.

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  19. 19
    Cover Image

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

    Published 2009
    Read online (HM)

    Available at the library of Hochschule Munich University of Applied Sciences (HM).

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  20. 20
    Cover Image

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

    Published 2003
    Read online (BSB)

    Library Card of Bavarian State Library (BSB) necessary.

    Order via interlibrary loan
    Electronic eBook


    Saved in:

Search Tools: