!!Krzysztof Apt - Book publications
\\
[{Image src='apt_krzysztof_verification.jpg' caption='' height='150' alt='Krzysztof Apt' class='image_left'}]
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. \\
\\ \\
\\ \\
\\ \\
[{Image src='apt_krzysztof_constraint.jpg' caption='' height='150' alt='Krzysztof Apt' class='image_left'}]
K.R. Apt and M.G. Wallace\\
Constraint Logic Programming using ECLiPSe, \\
Cambridge University Press (2006), xv + 329 pages. 
\\ \\
\\ \\
\\ \\
\\
[{Image src='apt_krzysztof_principles.jpg' caption='' height='150' alt='Krzysztof Apt' class='image_left'}]
K.R. Apt \\
Principles of Constraint Programming, \\
Cambridge University Press (2003), xiv + 407 pages. \\
Paperback edition (2009). 
\\ \\
\\ \\
\\ \\
[{Image src='apt_krzysztof_logic.jpg' caption='' height='150' alt='Krzysztof Apt' class='image_left'}]
K.R. Apt 
From Logic Programming to Prolog \\
International Series in Computer Science, Prentice Hall (1997), viii + 328 pages. \\