Krzysztof R. Apt
Informatiker
Geboren:
1949
Hat mitgewirkt an:
-
The logic programming paradigm : a 25 year perspective
-
Verification of sequential and concurrent programs
-
Logics and models of concurrent systems : [proceedings of the NATO Advanced Study Inst. on Logics and Models of Concurrent Systems held at LaColle-sur-Loup, France 8 - 19 October 1984]
-
Programmverifikation : sequentielle, parallele und verteilte Programme