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

The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part II. [ca. 2024]. In A. Cavalcanti & J. Baxter (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2024) [Cd]. Cham: Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-66673-5

ISO-690 (author-date, English)

CAVALCANTI, Ana und BAXTER, James (Hrsg.). 1 st ed. 2024. Cham: Springer Nature Switzerland. ISBN 9783031666735.

Modern Language Association 9th edition

Cavalcanti, A., und J. Baxter, Herausgeber. „The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part II“. Lecture Notes in Computer Science, 1 st ed. 2024, cd, Springer Nature Switzerland, 2024, https://doi.org/10.1007/978-3-031-66673-5.

Mohr Siebeck - Recht (Deutsch - Österreich)

: The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part II, 1 st ed. 2024. Aufl. Cham 2024.

Emerald - Harvard

Cavalcanti, A. und Baxter, J. (Hrsg.). (2024), The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part II, Lecture Notes in Computer Science, 1 st ed. 2024., Bd. , Springer Nature Switzerland, Cham, verfügbar unter:https://doi.org/10.1007/978-3-031-66673-5.

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