FindBook

有 1 項符合

Building Bulletproof Software: How Formal Verification Saves the Day

的圖書

Building Bulletproof Software: How Formal Verification Saves the Day

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

圖書選購

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

贊助商廣告

金石堂 - 今日66折

快眠地圖：按圖索驥保你一生舒眠！高效工作者必備

作者：角谷Ryo

出版社：如何出版社

出版日期：2023-01-01

66折： $ 251

金石堂 - 今日66折

十分鐘熱度學習法：一句英語都不會說的少女，這樣成為美國律師

作者：徐東珠 서동주

出版社：圓神出版社

出版日期：2022-07-01

66折： $ 231

金石堂 - 今日66折

從怕學習到愛學習：名校和家長都肯定的自主自律學習

作者：張萌

出版社：方智出版社股份有限公司

出版日期：2023-02-01

66折： $ 231

金石堂 - 今日66折

孽子舞台劇二○二○全紀錄

66折： $ 1980

更多66折

Taaze 讀冊生活 - 暢銷排行榜

《貓卡龍》2025年掛曆【臺北市流浪貓保護協會】

作者：臺北市流浪貓保護協會/黃宇璇/劉智豪/陳婕瑀/李懿芳

出版社：最新期數：最新一期出版日期：出刊頻率：出刊類型：紙製用品>時效日／月／掛／桌曆選擇訂閱期數：完成付款後，新訂戶將由目前最新一期寄發，續訂戶若已取得最新一期，則會從下一期繼續寄發。×Previous

$ 280

金石堂 - 暢銷排行榜

粉紅愛心樂團 (特裝版)(上＋下)

作者：しっけ

出版社：東立出版社

出版日期：2023-07-05

$ 323

Taaze 讀冊生活 - 暢銷排行榜

底層邏輯：看清這個世界的底牌

作者：劉潤

出版社：時報文化出版企業股份有限公司

出版日期：2022-03-29

$ 316

博客來 - 暢銷排行榜

城與不確定的牆（平裝）

作者：村上春樹

出版社：時報出版

出版日期：2024-11-23

$ 537

更多暢銷書

博客來 - 新書排行榜

強肝、利膽、莫遲胰：診治照護保健全書

出版日期：2024-12-28

$ 394

博客來 - 新書排行榜

奈奈與薰的SM日記(09)

出版日期：2024-12-30

$ 110

Taaze 讀冊生活 - 新書排行榜

島嶼之歌

作者：陳竹奇

出版社：秀威資訊

出版日期：2024-11-27

$ 196

Taaze 讀冊生活 - 新書排行榜

經典聯聯看【第六輯】：50種跨時代經典名家導讀

作者：聯經出版數位出版部

出版社：聯經出版事業股份有限公司

出版日期：2024-12-27

$ 149

更多新書