• Software Engineering and Forma...
  • *Holdings*

*Result*: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

*Title*:
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
*Author/editor-in-chief*:
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)
*Edition*:
1st ed. 2022
*Publication*:
Cham : Springer International Publishing, 2022
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XI, 350 Seiten) : 109 illus., 82 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 13230
*Other edition entry*:
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

*Additional information*

*Additional functions*