Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Formal Methods and Software En...
  • Bestand

Treffer: Formal Methods and Software Engineering

Titel:
Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings / edited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Beteiligt:
Ogata, Kazuhiro (Herausgeber); Mery, Dominique (Herausgeber); Sun, Meng (Herausgeber); Liu, Shaoying (Herausgeber)
Ausgabe:
1st ed. 2024
Veröffent­licht:
Singapore : Springer Nature Singapore, 2024
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 410 Seiten) : 103 illus., 70 illus. in color.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 15394
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods and Software Engineering. - Singapore : Springer Nature Singapore, 2024. - ISBN 9789819606160
ISBN:
9789819606177 ; 9819606179 ; 978--981960616-0 (Sekundärausgabe) ; 978--981960618-4 (Sekundärausgabe)
DOI:
10.1007/978-981-96-0617-7

Zusatz-Informationen

Zusatz-Funktionen