紀錄類型: |
書目-語言資料,印刷品
: Monograph/item
|
正題名/作者: |
The logic of software/ edited by Wolfgang Ahrendt ... [et al.]. |
其他題名: |
a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / |
其他作者: |
Hähnle, Reiner. |
出版者: |
Cham :Springer International Publishing : : 2022., |
面頁冊數: |
xii, 521 p. :ill. (some col.), digital ; : 24 cm.; |
Contained By: |
Springer Nature eBook |
標題: |
Computer logic. - |
電子資源: |
https://doi.org/10.1007/978-3-031-08166-8 |
ISBN: |
9783031081668 |