Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Kozen, D. (Hrsg.). [ca. 1982]. Logics of programs : workshop, Yorktown Heights, New York, May 1981 [Book]. Berlin [u.a.]: Springer.

ISO-690 (author-date, English)

KOZEN, Dexter (Hrsg.). [book]. 1982. Berlin [u.a.]: Springer. Lecture notes in computer science, 131. ISBN 038711212 X.

Modern Language Association 9th edition

Kozen, D., Herausgeber. „Logics of programs : workshop, Yorktown Heights, New York, May 1981“. Lecture notes in computer science, book, Springer, 1982.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Kozen, D. (Hrsg.). (1982), „Logics of programs : workshop, Yorktown Heights, New York, May 1981“, Lecture notes in computer science, Springer, Berlin [u.a.].

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.