ISO-690 (author-date, English)

APPEL, Andrew W., 2014. Program logics for certified compilers. New York, NY: Cambridge Univ. Press. ISBN 9781107048010.

Elsevier - Harvard (with titles)

Appel, A.W., 2014. Program logics for certified compilers. Cambridge Univ. Press, New York, NY. https://doi.org/10.1017/CBO9781107256552

American Psychological Association 7th edition

Appel, A. W. (ca. 2014). Program logics for certified compilers [Cd]. Cambridge Univ. Press. https://doi.org/10.1017/CBO9781107256552

Springer - Basic (author-date)

Appel AW (2014) Program logics for certified compilers. Cambridge Univ. Press, New York, NY

Juristische Zitierweise (Stüber) (Deutsch)

Appel, Andrew W., Program logics for certified compilers, New York, NY 2014.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.