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 [u.a.]: Springer. Lecture notes in computer science, 2262. ISBN 3540431675.

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, Berlin [u.a.].

American Psychological Association 7th edition

Müller, P. (ca. 2002). Modular specification and verification of object-oriented programs [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Müller P (2002) Modular specification and verification of object-oriented programs. Springer, Berlin [u.a.]

Juristische Zitierweise (Stüber) (Deutsch)

Müller, Peter, Modular specification and verification of object-oriented programs, Berlin [u.a.] 2002.

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