ISO-690 (author-date, English)

BERNARDO, Marco und ISSARNY, Valerie (Hrsg.). [cd]. 2011. 1 st edition 2011. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642214554.

Elsevier - Harvard (with titles)

Bernardo, M., Issarny, V. (Hrsg.), 2011. Formal Methods for Eternal Networked Software Systems : 11 th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-21455-4

American Psychological Association 7th edition

Bernardo, M., … Issarny, V. (Hrsg.). (ca. 2011). Formal Methods for Eternal Networked Software Systems : 11 th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures [Cd]. In Programming and Software Engineering (1 st edition 2011). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-21455-4

Springer - Basic (author-date)

Bernardo M, Issarny V (Hrsg.) (2011) Formal Methods for Eternal Networked Software Systems : 11 th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures. Programming and Software Engineering

Juristische Zitierweise (Stüber) (Deutsch)

Bernardo, Marco/ Issarny, Valerie (Hrsg.), Formal Methods for Eternal Networked Software Systems : 11 th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures, Programming and Software Engineering 2011, .

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