紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Computer aided verificationedited by Sharon Shoham, Yakir Vizel. |
其他題名: |
34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings. |
其他題名: |
CAV 2022 |
其他作者: |
Shoham, Sharon. |
團體作者: |
|
出版者: |
Cham :Springer International Publishing :2022. |
面頁冊數: |
xix, 549 p. :ill., digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Computer softwareCongresses.Verification |
電子資源: |
https://doi.org/10.1007/978-3-031-13188-2 |
ISBN: |
9783031131882$q(electronic bk.) |