Krzysztof Apt - Book publications#


Krzysztof Apt
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.






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






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





Krzysztof Apt
K.R. Apt From Logic Programming to Prolog
International Series in Computer Science, Prentice Hall (1997), viii + 328 pages.
Imprint Privacy policy « This page (revision-17) was last changed on Tuesday, 17. January 2012, 10:50 by Kaiser Dana
  • operated by