Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Software Engineering and Forma...
  • Inhaltsangabe

Treffer: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Titel:
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
Beteiligt:
Cerone, Antonio (Herausgeber); Autili, Marco (Herausgeber); Bucaioni, Alessio (Herausgeber); Gomes, Cláudio (Herausgeber); Graziani, Pierluigi (Herausgeber); Palmieri, Maurizio (Herausgeber); Temperini, Marco (Herausgeber); Venture, Gentiane (Herausgeber)
Ausgabe:
1st ed. 2022
Veröffent­licht:
Cham : Springer International Publishing, 2022
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XI, 350 Seiten) : 109 illus., 82 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 13230
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops. - Cham : Springer International Publishing, 2022. - ISBN 9783031124280
ISBN:
9783031124297 ; 3031124294 ; 978--303112428-0 (Sekundärausgabe) ; 978--303112430-3 (Sekundärausgabe)
DOI:
10.1007/978-3-031-12429-7

Zusatz-Informationen

Zusatz-Funktionen