Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Formal Techniques for Java Programs. [ca. 1999]. In B. Jacobs, G. T. Leavens, P. Müller, & A. Poetzsch-Heffter (Hrsg.), Informatik-Berichte [Cd]. Hagen: Fern Universität in Hagen. https://doi.org/urn:nbn:de:hbz:708-dh5825

ISO-690 (author-date, English)

JACOBS, Bart, LEAVENS, Gary T., MÜLLER, Peter und POETZSCH-HEFFTER, Arnd (Hrsg.). Hagen: Fern Universität in Hagen.

Modern Language Association 9th edition

Jacobs, B., G. T. Leavens, P. Müller, und A. Poetzsch-Heffter, Herausgeber. „Formal Techniques for Java Programs“. Informatik-Berichte, cd, Fern Universität in Hagen, 1999, https://doi.org/urn:nbn:de:hbz:708-dh5825.

Mohr Siebeck - Recht (Deutsch - Österreich)

: Formal Techniques for Java Programs, Hagen 1999.

Emerald - Harvard

Jacobs, B., Leavens, G.T., Müller, P. und Poetzsch-Heffter, A. (Hrsg.). (1999), Formal Techniques for Java Programs, Informatik-Berichte, Bd. , Fern Universität in Hagen, Hagen, verfügbar unter:https://doi.org/urn:nbn:de:hbz:708-dh5825.

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