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折

《如意的舒心小日子》全2冊

作者：落藍

出版社：藍海製作有限公司

出版日期：2024-07-24

66折： $ 502

金石堂 - 今日66折

《錦衣還香》書衣版

作者：玻璃魚

出版社：藍海製作有限公司

出版日期：2024-09-25

66折： $ 370

金石堂 - 今日66折

為妻折腰《全2冊》

作者：瓜子兒

出版社：藍海製作有限公司

出版日期：2025-12-03

66折： $ 462

金石堂 - 今日66折

妾不為后卷六（完）

作者：姜宛

出版社：藍海製作有限公司

出版日期：2017-03-15

66折： $ 165

更多66折

Taaze 讀冊生活 - 暢銷排行榜

REAL（17）

作者：井上雄彥

出版社：尖端出版

出版日期：2026-07-17

$ 170

Taaze 讀冊生活 - 暢銷排行榜

創作就是做自己：脇阪克二從Marimekko到SOU・SOU的設計思考

作者：脇阪克二

出版社：麥浩斯

出版日期：2026-07-02

$ 355

金石堂 - 暢銷排行榜

蛤蟆先生去看心理師(暢銷300萬冊！英國心理諮商經典，附《蛤蟆先生勇氣藏書卡》組)

作者：羅伯．狄保德

出版社：三采文化股份有限公司

出版日期：2022-01-26

$ 316

金石堂 - 暢銷排行榜

GRAND BLUE碧藍之海 25

作者：吉岡公威

出版社：東立出版社

出版日期：2026-07-09

$ 119

更多暢銷書

金石堂 - 新書排行榜

我獨自升級24漫畫

作者：DUBU(REDICE STUDIO)

出版社：知翎文化(欣燦連)

出版日期：2026-07-23

$ 221

金石堂 - 新書排行榜

GEPT新制全民英檢初級複試寫作口說10回試題+詳解（雙書裝，附QR Code線上音檔）

作者：歐怡君Mindy Ou、Judd Piggott／審訂

出版社：易說館(日月旗下)

出版日期：2026-07-02

$ 300

Taaze 讀冊生活 - 新書排行榜

西洋經典文學導讀系列《異鄉人》

作者：(作者)卡繆 (簡體：加缪)、(講者)阮若缺、愛播聽書FM

出版社：聲朗資訊

出版日期：2026-07-15

$ 169

金石堂 - 新書排行榜

為怪談點燈 3

作者：醉琉璃

出版社：魔豆文化有限公司

出版日期：2026-06-24

$ 229

更多新書