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折

繼妻，逆轉勝！（四）

作者：狐天八月

出版社：東佑文化事業有限公司

出版日期：2017-03-22

66折： $ 165

金石堂 - 今日66折

一紙千金(一)

作者：董無淵

出版社：東佑文化事業有限公司

出版日期：2025-02-26

66折： $ 191

金石堂 - 今日66折

異人山：不歸之人

66折： $ 224

金石堂 - 今日66折

錦衣玉令(三)

作者：姒錦

出版社：東佑文化事業有限公司

出版日期：2022-12-07

66折： $ 178

更多66折

Taaze 讀冊生活 - 暢銷排行榜

反脆弱：脆弱的反義詞不是堅強，是反脆弱

作者：納西姆‧尼可拉斯‧塔雷伯

出版社：大塊文化出版股份有限公司

出版日期：2013-07-01

$ 395

Taaze 讀冊生活 - 暢銷排行榜

卸力，打造最強體能︰一線運動員都在做的放鬆訓練法

作者：中野崇

出版社：天下生活出版股份有限公司

出版日期：2025-02-05

$ 337

Taaze 讀冊生活 - 暢銷排行榜

我培育的S級們【3+4雙書特裝版】

作者：根序

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

出版日期：2026-06-26

$ 1500

金石堂 - 暢銷排行榜

遇斯光：覺處逢生-一趟回歸真實自我的旅程

作者：彭士齊

出版社：唯心文化有限公司

出版日期：2026-05-13

$ 387

更多暢銷書

Taaze 讀冊生活 - 新書排行榜

海洋圖書館4：暴風雨中的謎團

作者：葦原鴨

出版社：小熊

出版日期：2026-04-29

$ 285

Taaze 讀冊生活 - 新書排行榜

聚會時先別急著夾甜點：觀察現場各種氛圍，發揮改變他人的影響力

作者：麥克．貝勒

出版社：真文化

出版日期：2026-04-29

$ 316

金石堂 - 新書排行榜

BLUE LOCK 藍色監獄 (首刷限定版) 36

作者：金城宗幸／ノ村優介

出版社：東立出版社

出版日期：2026-05-11

$ 126

Taaze 讀冊生活 - 新書排行榜

有趣到睡不著的輕科普－悸動版【擴充版】（共6冊）：化學．元素．地球科學．天文學．傳染病．怪奇科學

作者：左卷健男、縣秀彥、岡田晴惠、竹內薰

出版社：快樂文化

出版日期：2026-04-29

$ 1616

更多新書