Challenges of Software Verification
Intelligent Systems Reference Library
Arceri, Vincenzo (EDT)
Cortesi, Agostino (EDT)
Ferrara, Pietro (EDT)
- 出版社：Springer Verlag, Singapore
- 出版年月：2024年 07月
- ISBN：9789811996030
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2023
- 巻数・ページ数：264 p.