en

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt · 1997

446 pages · ~11h read

art · philosophy

en

Constraint logic programming using ECLiPSe

Krzysztof R. Apt · 2006

329 pages · ~8h read

philosophy · technology