Concise Guide to Software Verification
From Model Checking to Annotation Checking
Texts in Computer Science
Huisman, Marieke
Wijs, Anton
- 出版社：Springer International Publishing Ag
- 出版年月：2024年 07月
- ISBN：9783031301698
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2023
- 巻数・ページ数：248 p.