| FindBook |
|
有 2 項符合
gnesi的圖書 |
 |
$ 6599 | Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
作者：編者：Gnesi 出版社：Springer 出版日期：2026-02-06 語言：英文 規格：平裝 / 普通級/ 初版  博客來 - 應用軟體與開發工程
- 來源網頁  看圖書介紹
|
| |
$ 3299 | From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
出版社：Springer 出版日期：2019-09-14 語言：英文 規格：平裝 / 574頁 / 23.39 x 15.6 x 3.02 cm / 普通級/ 初版 博客來 - 程式語言
- 來源網頁 看圖書介紹
|
|
|
|
