紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Software engineering and formal methodsedited by Antonio Cerone ... [et al.]. |
其他題名: |
SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers / |
其他題名: |
SEFM 2021 |
其他作者: |
Cerone, Antonio. |
出版者: |
Cham :Springer International Publishing :2022. |
面頁冊數: |
xi, 350 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Software engineering |
電子資源: |
https://doi.org/10.1007/978-3-031-12429-7 |
ISBN: |
9783031124297$q(electronic bk.) |