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

BJØRNER, Dines (Hrsg.). [book]. 1993. Berlin: Springer. Lecture notes in computer science, 735. ISBN 354057316 X.

Elsevier - Harvard (with titles)

Bjørner, D. (Hrsg.), 1993. Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings. Lecture notes in computer science, Lecture notes in computer science.

American Psychological Association 7th edition

Bjørner, D. (Hrsg.). (ca. 1993). Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Bjørner D (Hrsg.) (1993) Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Bjørner, Dines (Hrsg.), Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings, Lecture notes in computer science 1993, .

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