Treffer: Formal Methods and Software Engineering
Titel:
Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings / edited by Yi Li, Sofiène Tahar
Beteiligt:
Ausgabe:
1st ed. 2023
Veröffentlicht:
Singapore : Springer Nature Singapore, 2023
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXVIII, 300 Seiten) : 71 illus., 45 illus. in color.
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14308
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods and Software Engineering. - Singapore : Springer Nature Singapore, 2023. - ISBN 9789819975839
ISBN:
9789819975846 ; 9819975840 ; 978--981997583-9 (Sekundärausgabe) ; 978--981997585-3 (Sekundärausgabe)
DOI:
10.1007/978-981-99-7584-6