Krzysztof Apt - Book publications#

K.R. Apt, F.S. de Boer and E.R. Olderog
Verification of Sequential and Concurrent Programs, Third Edition
Texts in Computer Science, Springer (2009), xxiii + 502 pages.






K.R. Apt and M.G. Wallace
Constraint Logic Programming using ECLiPSe,
Cambridge University Press (2006), xv + 329 pages.






K.R. Apt
Principles of Constraint Programming,
Cambridge University Press (2003), xiv + 407 pages.
Paperback edition (2009).





K.R. Apt From Logic Programming to Prolog
International Series in Computer Science, Prentice Hall (1997), viii + 328 pages.