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

BJØRNER, Dines (Hrsg.). [book]. 1990. Berlin: Springer. Lecture notes in computer science, 428. ISBN 3540525130.

Elsevier - Harvard (with titles)

Bjørner, D. (Hrsg.), 1990. VDM ’90 : proceedings ; VDM and Z-formal methods in software development. Lecture notes in computer science, Lecture notes in computer science.

American Psychological Association 7th edition

Bjørner, D. (Hrsg.). (ca. 1990). VDM ’90 : proceedings ; VDM and Z-formal methods in software development [Book]. In Lecture notes in computer science. VDM3, Kiel. Springer.

Springer - Basic (author-date)

Bjørner D (Hrsg.) (1990) VDM ’90 : proceedings ; VDM and Z-formal methods in software development. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Bjørner, Dines (Hrsg.), VDM ’90 : proceedings ; VDM and Z-formal methods in software development, Lecture notes in computer science 1990, .

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