紀錄類型: |
書目-語言資料,印刷品
: Monograph/item
|
正題名/作者: |
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops/ edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture. |
其他題名: |
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / |
其他作者: |
Venture, Gentiane. |
面頁冊數: |
XI, 350 p. 109 illus., 82 illus. in color.online resource. : |
Contained By: |
Springer Nature eBook |
標題: |
Control and Systems Theory. - |
電子資源: |
https://doi.org/10.1007/978-3-031-12429-7 |
ISBN: |
9783031124297 |