紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Leveraging applications of formal methods, verification and validationedited by Tiziana Margaria, Bernhard Steffen. |
其他題名: |
practice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings. |
其他題名: |
ISoLA 2022 |
其他作者: |
Margaria-Steffen, Tiziana. |
團體作者: |
|
出版者: |
Cham :Springer Nature Switzerland :2022. |
面頁冊數: |
xiii, 424 p. :ill. (chiefly color), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Formal methods (Computer science) |
電子資源: |
https://doi.org/10.1007/978-3-031-19762-8 |
ISBN: |
9783031197628$q(electronic bk.) |