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折： $ 535

金石堂 - 今日66折

漢字裡的故事套書(四冊)：《藏在漢字裡的古代生活史》、《藏在漢字裡的古代風俗史》、《藏在漢字裡的古代博物志》、《藏在漢字裡的古代家國志》

66折： $ 1267

金石堂 - 今日66折

焦慮的投資人：戰勝恐懼、貪婪、希望和無知，充分利用金錢創造財富

作者：史考特．納遜斯

出版社：先覺出版股份有限公司

出版日期：2022-08-01

66折： $ 277

金石堂 - 今日66折

線，畫出的我【橫濱流星電影與原著小說雙書封珍藏版】

作者：砥上裕將

出版社：圓神出版社

出版日期：2020-10-01

66折： $ 231

更多66折

金石堂 - 暢銷排行榜

PASSION(２)

作者：KangJak

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

出版日期：2024-12-19

$ 300

Taaze 讀冊生活 - 暢銷排行榜

這次不遲到！有感筆電超激推100款ROBLOX絕讚遊戲

作者：有感筆電Daptoper

出版社：尖端出版

出版日期：2023-07-05

$ 315

Taaze 讀冊生活 - 暢銷排行榜

臺灣漫遊錄

作者：楊双子

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

出版日期：2020-04-01

$ 300

Taaze 讀冊生活 - 暢銷排行榜

為了這個家，我殺了我自己：兒少照顧者的重生日記

作者：水谷綠

出版社：遠流出版事業股份有限公司

出版日期：2024-07-26

$ 252

更多暢銷書

Taaze 讀冊生活 - 新書排行榜

要是未曾相遇就好了（01）（超過400萬點閱！台灣LINE WEBTOON人氣原創漫畫，影視化進行中）

作者：M蜥

出版社：春光

出版日期：2024-12-05

$ 285

Taaze 讀冊生活 - 新書排行榜

【告別娑婆系列套書】（二冊）：《告別娑婆3》、《告別娑婆外傳》

作者：葛瑞．雷納

出版社：橡實文化

出版日期：2024-12-11

$ 651

博客來 - 新書排行榜

【套書】膽大黨1-15

出版社：東立

出版日期：2024-11-30

$ 1375

Taaze 讀冊生活 - 新書排行榜

【頭薦骨療癒系列套書】（二冊）：《頭薦骨療法》、《頭薦骨療癒書（二版）》

作者：丹尼爾．阿古斯托尼、凱特．麥金農

出版社：橡實文化

出版日期：2024-12-11

$ 630

更多新書