Krzysztof R Apt profile picture

Krzysztof R Apt

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Constraint Logic Programming using Eclipse
A Brief History Of Mathematics For Curious Minds
Logics and Models of Concurrent Systems
Verification of sequential and concurrent programs (Texts and monographs in computer science)