Krzysztof Apt

No bio available. Add one in Open Library.

Books by Krzysztof Apt (50 max)

+ shelf+ list

Principles of Constraint Programming

2003

Krzysztof Apt

+ shelf+ list

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

1992

Krzysztof Apt

+ shelf+ list

Meta-Logics and Logic Programming

2003

Krzysztof Apt, Franco Turini

+ shelf+ list

Verification of Sequential and Concurrent Programs

2010

Krzysztof Apt, Frank S. de Boer, Amir Pnueli