👤

Krzysztof R Apt

7 books

Books by Krzysztof R Apt

Edsger Wybe Dijkstra
Edsger Wybe Dijkstra
2022
Proceedings of the 13th Confer
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
2011
Constraint logic programming using ECLiPSe
Constraint logic programming using ECLiPSe
2007
New trends in constraints
New trends in constraints
2003
The Logic Programming Paradigm
The Logic Programming Paradigm
1999
Programmverifikation
Programmverifikation
1994
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
1991