Showing 1 - 2 results of 2 for search 'Apt, Krzysztof R., 1949-', query time: 0.02s Refine Results
  1. 1

    Verification of sequential and concurrent programs / by Apt, Krzysztof R., 1949-

    Published 2009
    Book
  2. 2

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

    Published 1997
    Book