Showing 1 - 7 results of 7 for search 'Apt, Krzysztof R.', query time: 0.02s Refine Results
  1. 1
    Verification of sequential and concurrent programs
    by Apt, Krzysztof R.
    Published 1997
    Other Authors: “…Apt, Krzysztof R.…”
    Book
  2. 2
    Verification of sequential and concurrent programs
    by Apt, Krzysztof R., 1949-
    Published 1991
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Book
  3. 3
    TARK XIII : Theoretical Aspects of Rationality and Knowledge : proceedings of the thirteenth Conference (TARK 2011
    by Apt, Krzysztof R., 1949-
    Published 2011
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    eBook
  4. 4
    Meta-logics and logic programming
    Published 1995
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Book
  5. 5
    New perspectives on games and interaction
    Published 2008
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    eBook
  6. 6
    Foundations of deductive databases and logic programming
    Published 1988
    Other Authors:
    eBook
  7. 7
    Formal description of programming concepts
    Published 1991
    Other Authors:
    Book

Search Tools: