Showing 1 - 8 results of 8 for search 'Apt, Krzysztof R.', query time: 0.04s Narrow Search
  1. 1
    Verification of Sequential and Concurrent Programs
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Verification of Sequential and Concurrent Programs
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Verification of Sequential and Concurrent Programs
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Logics and Models of Concurrent Systems
    Published 1985
    Other Authors: “…Apt, Krzysztof R.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    New Trends in Constraints Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
    Published 2000
    Other Authors: “…Apt, Krzysztof R.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    The Logic Programming Paradigm A 25-Year Perspective
    Published 1999
    Other Authors: “…Apt, Krzysztof R.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  7. 7
    Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers
    Published 2004
    Other Authors: “…Apt, Krzysztof R.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  8. 8
    Logic programming languages : constraints, functions, and objects
    Published 1993
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: