Normal view
MARC view
- Apt, Krzysztof R.
Apt, Krzysztof R. 1949- (Nombre personal)
Used for/see from:
- Earlier heading: Apt, K. R.
- Apt, K. R. (Krzysztof R.), 1949-
Foundations of computer ... 1976 (a.e.) t.p., v. 1 (K.R. Apt)
NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems (1984 : La Colle-sur-Loupé, France). Logics and models for verification ... c1985: CIP t.p. (Krzysztof R. Apt; L.I.T.P., Université Paris)