Treffer: Applicable Formal Methods for Safe Industrial Products

Titel:
Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
Beteiligt:
Haxthausen, Anne E (Herausgeber); Huang, Wen-ling (Herausgeber) ; Roggenbach, Markus (Herausgeber) 
Ausgabe:
1st ed. 2023
Veröffent­licht:
Cham : Springer Nature Switzerland, 2023
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 334 Seiten) : 108 illus., 62 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14165
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Applicable Formal Methods for Safe Industrial Products. - Cham : Springer Nature Switzerland, 2023. - ISBN 9783031401312
ISBN:
9783031401329 ; 3031401328 ; 9783031401312 (Sekundärausgabe) ; 9783031401336 (Sekundärausgabe)
DOI:
10.1007/978-3-031-40132-9

Zusatz-Informationen

Zusatz-Funktionen