FindBook

有 1 項符合

Securing the System: Formal Methods for Error-Free Software

的圖書

Securing the System: Formal Methods for Error-Free Software

作者：Naviya　
出版社：Tredition Gmbh
出版日期：2024-06-21
語言：英文規格：平裝 / 120頁 / 22.86 x 15.24 x 0.71 cm / 普通級/ 初版

圖書選購

型式	價格	供應商	所屬目錄
	$ 1019	博客來	計算機概論

贊助商廣告

金石堂 - 今日66折

商門高枝(二)

66折： $ 165

金石堂 - 今日66折

金玉良醫(六)

66折： $ 178

金石堂 - 今日66折

歆悅誠服(三)

66折： $ 165

金石堂 - 今日66折

NGO與顏色革命

66折： $ 231

更多66折

金石堂 - 暢銷排行榜

臺灣漫遊錄

作者：楊双子

出版社：春山出版有限公司

出版日期：2020-03-31

$ 300

金石堂 - 暢銷排行榜

Happy Birthday 千歲同學(全)

作者：上野ポテト

出版社：尖端漫畫

出版日期：2026-06-18

$ 128

Taaze 讀冊生活 - 暢銷排行榜

我家住在張日興隔壁（2026國際布克獎得主，楊双子個人生命書寫）

作者：楊双子

出版社：寶瓶文化事業股份有限公司

出版日期：2020-12-25

$ 260

金石堂 - 暢銷排行榜

骷髏頭糖與濕吻(01)

作者：朔ヒロ

出版社：青文出版社股份有限公司

出版日期：2026-06-17

$ 110

更多暢銷書

Taaze 讀冊生活 - 新書排行榜

怎樣成為理財高手

作者：袁建財

出版社：回聲引力

出版日期：2026-05-15

$ 180

Taaze 讀冊生活 - 新書排行榜

怎樣才能不生病：無病一身輕的養生法則

作者：張雪松

出版社：回聲引力

出版日期：2026-05-15

$ 180

金石堂 - 新書排行榜

務農義兄弟（全）

作者：HABO

出版社：台灣東販股份有限公司

出版日期：2026-06-29

$ 110

金石堂 - 新書排行榜

綠蔭之冠（４）

作者：Binu

出版社：台灣角川股份有限公司

出版日期：2026-06-23

$ 300

更多新書