• Formal Methods
  • Bestand

Treffer: Formal Methods

Titel:
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Beteiligt:
Chechik, Marsha (Herausgeber); Katoen, Joost-Pieter (Herausgeber); Leucker, Martin (Herausgeber)
Ausgabe:
1st ed. 2023
Veröffent­licht:
Cham : Springer International Publishing, 2023
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 659 Seiten) : 1230 illus., 132 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14000
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods. - Cham : Springer International Publishing, 2023. - ISBN 9783031274800
ISBN:
9783031274817 ; 3031274814 ; 978--303127480-0 (Sekundärausgabe) ; 978--303127482-4 (Sekundärausgabe)
DOI:
10.1007/978-3-031-27481-7

Zusatz-Informationen

Zusatz-Funktionen