| FindBook |
|
有 2 項符合
Havelund的圖書 |
 |
$ 3599 | Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
出版社：Springer 出版日期：2021-09-28 語言：英文 規格：平裝 / 208頁 / 23.39 x 15.6 x 1.12 cm / 普通級/ 初版  博客來 - 人工智慧
- 來源網頁  看圖書介紹
|
 |
$ 120 電子書 | The Star Series
作者：Vincent Havelund 出版社：iUniverse 出版日期：2012-04-27 語言：英文  樂天KOBO - 太空劇
- 來源網頁 |
|
|
|
