Krzysztof R. Apt

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt

$28.79 - $109.99

Principles of Constraint Programming

Krzysztof R. Apt

$67.89 - $88.20

Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, ... June 30 - July 2, 2003, Selected Papers

Krzysztof R. Apt

$59.78

From Logic Programming to Prolog

Krzysztof R. Apt

Out of Stock

Logic Programming: The Joint [9th] International Conference & Symposium (Logic Programming)

Krzysztof R. Apt

Out of Stock

Logics and Models of Concurrent Systems

Krzysztof R. Apt

$109.99

Constraint Logic Programming using Eclipse

Krzysztof R. Apt

$11.69 - $91.73