APT, Krzysztof R. und OLDEROG, Ernst-Rüdiger, 1991. Verification of sequential and concurrent programs. New York [u.a.]: Springer. ISBN 3540975322.
Elsevier - Harvard (with titles)Apt, K.R., Olderog, E.-R., 1991. Verification of sequential and concurrent programs, Texts and monographs in computer science. Springer, New York [u.a.].
American Psychological Association 7th editionApt, K. R., & Olderog, E.-R. (ca. 1991). Verification of sequential and concurrent programs [Book]. In Texts and monographs in computer science. Springer.
Springer - Basic (author-date)Apt KR, Olderog E-R (1991) Verification of sequential and concurrent programs. Springer, New York [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Apt, Krzysztof R./ Olderog, Ernst-Rüdiger, Verification of sequential and concurrent programs, New York [u.a.] 1991.
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.