Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

MÜLLER, Peter, 2002. Modular Specification and Verification of Object-Oriented Programs. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 2262. ISBN 9783540456513.

Elsevier - Harvard (with titles)

Müller, P., 2002. Modular Specification and Verification of Object-Oriented Programs, Lecture Notes in Computer Science, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45651-1

American Psychological Association 7th edition

Müller, P. (ca. 2002). Modular Specification and Verification of Object-Oriented Programs [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-45651-1

Springer - Basic (author-date)

Müller P (2002) Modular Specification and Verification of Object-Oriented Programs. Springer-Verlag Berlin Heidelberg, Berlin, Heidelberg

Juristische Zitierweise (Stüber) (Deutsch)

Müller, Peter, Modular Specification and Verification of Object-Oriented Programs, Berlin, Heidelberg 2002.

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