K.R. Apt
A Brief History of Mathematics for Curious Minds,
World Scientific (2023), x + 210 pages.
Book description, contents and reviews.
Review by Brian Monahan
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.
Book contents.
K.R. Apt and M.G. Wallace
Constraint Logic Programming using ECLiPSe,
Cambridge University Press (2006), xv + 329 pages.
Book contents.
K.R. Apt
Principles of Constraint Programming,
Cambridge University Press (2003), xiv + 407 pages.
Paperback edition (2009).
Book contents.
Reviews:
by F. Rossi ,
by T. Walsh and P. van Beek,
by M.H. van Emden
.
Complete set of transparencies (279 pages).
K.R. Apt
From Logic Programming to Prolog ,
International Series in Computer Science,
Prentice Hall (1997), viii + 328 pages.
Book contents.
[Home]
This page is maintained by
Krzysztof R. Apt
CWI DISCLAIMER