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折

全新制20次多益滿分的怪物講師TOEIC多益單字+文法【隨身版】(附文法教學影片+「Youtor App」內含VRP虛擬點讀筆+防水書套)

作者：怪物講師教學團隊（台灣）

出版社：不求人文化

出版日期：2022-07-27

66折： $ 263

TAAZE 讀冊生活 - 今日66折

這本口說最實用！英文職場高手76篇情境會話從此擺脫中式英文

作者：張慈庭、許澄瑄

出版社：捷徑文化

出版日期：2022-07-06

66折： $ 231

城邦讀書花園 - 今日66折

我媽媽才是超級英雄【媽媽萬歲版】

出版社：水滴文化

出版日期：2024-03-28

66折： $ 251

更多66折

金石堂 - 暢銷排行榜

深宵獨角戲（特裝版）

作者：じゃのめ

出版社：東立出版社

出版日期：2024-09-18

$ 179

博客來 - 暢銷排行榜

讀懂古人的痛，就能跳過現代的坑：史上最潮的國學經典

作者：林俐君（綠君麻麻）

出版社：圓神

出版日期：2024-08-01

$ 339

Taaze 讀冊生活 - 暢銷排行榜

學會K線賺3億（增訂版）—打敗大盤、戰勝投資心理的月風流技術分析

作者：月風

出版社：FUN學

出版日期：2022-05-01

$ 300

Taaze 讀冊生活 - 暢銷排行榜

圖解英文文法的原理【暢銷修訂版】：看圖學文法不用背，一張圖就懂！用老外的思維理解英文！

作者：安正鳳

出版社：語研學院

出版日期：2020-04-09

$ 299

更多暢銷書

Taaze 讀冊生活 - 新書排行榜

冥想：認識內在自我，與外在世界和諧共處，獲得真正的滿足

作者：斯瓦米．拉瑪

出版社：橡實文化

出版日期：2024-09-13

$ 245

金石堂 - 新書排行榜

關於我轉生變成史萊姆這檔事異聞～在魔國生活的三人組～ 04

作者：戶野妙

出版社：東立出版社

出版日期：2024-10-31

$ 133

博客來 - 新書排行榜

楞嚴經蠡測【第伍冊】

出版日期：2024-09-19

$ 300

金石堂 - 新書排行榜

我們沒有約好的明天【限量印簽版+2025年曆書卡+隨書贈送《我想說個故事給你聽》劇本大綱別冊】

作者：Toro郭葦昀

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

出版日期：2024-10-01

$ 394

更多新書