Krzysztof R. Apt

No biography available.

Works (7)

Cover of Constraint logic programming using ECLiPSe

Constraint logic programming using ECLiPSe

Cover of Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Cover of New trends in constraints

New trends in constraints

Cover of Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Cover of The Logic Programming Paradigm

The Logic Programming Paradigm

Cover of Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

Cover of Logic Programming Languages

Logic Programming Languages