ISO-690 (author-date, English)

AAGAARD, Mark (Hrsg.). [book]. 2002. Berlin: Springer. Lecture notes in computer science, 2517. ISBN 3540001166.

Elsevier - Harvard (with titles)

Aagaard, M. (Hrsg.), 2002. Formal methods in computer aided design : 4 th international conference ; proceedings. Lecture notes in computer science, Lecture notes in computer science.

American Psychological Association 7th edition

Aagaard, M. (Hrsg.). (ca. 2002). Formal methods in computer aided design : 4 th international conference ; proceedings [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Aagaard M (Hrsg.) (2002) Formal methods in computer aided design : 4 th international conference ; proceedings. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Aagaard, Mark (Hrsg.), Formal methods in computer aided design : 4 th international conference ; proceedings, Lecture notes in computer science 2002, .

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