Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Software Engineering and Forma...
  • Bestand

Treffer: Software Engineering and Formal Methods

Titel:
Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse
Beteiligt:
Ferreira, Carla (Herausgeber); Willemse, Tim A. C (Herausgeber)
Ausgabe:
1st ed. 2023
Veröffent­licht:
Cham : Springer Nature Switzerland, 2023
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 378 Seiten) : 152 illus., 105 illus. in color.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14323
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Software Engineering and Formal Methods. - Cham : Springer Nature Switzerland, 2023. - ISBN 9783031471148
ISBN:
9783031471155 ; 3031471156 ; 978--303147114-8 (Sekundärausgabe) ; 978--303147116-2 (Sekundärausgabe)
DOI:
10.1007/978-3-031-47115-5

Zusatz-Informationen

Zusatz-Funktionen