FindBook

有 1 項符合

Program Development by Refinement: Case Studies Using the B Method

的圖書

Program Development by Refinement: Case Studies Using the B Method

出版社：Springer
出版日期：1998-10-23
語言：英文規格：平裝 / 364頁 / 23.11 x 15.49 x 2.03 cm / 普通級 / 初版

圖書選購

型式	價格	供應商	所屬目錄
	$ 13199	博客來	程式語言

贊助商廣告

金石堂 - 今日66折

萬事皆美好：讓無數希臘人感受幸福的禮物書

作者：史戴凡諾斯．詹內奇斯

出版社：圓神出版社

出版日期：2021-12-01

66折： $ 205

金石堂 - 今日66折

療癒美好套書

66折： $ 528

金石堂 - 今日66折

重整家的愛與傷：以家庭系統理論重新覺察，活出有選擇的人生

作者：伊蓮．卡尼．吉布森

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

出版日期：2023-08-01

66折： $ 251

金石堂 - 今日66折

早午餐創業經營學：差異化創新找出營運致勝模式，以特色產品建構品牌識別，小店也能成為大事業！

66折： $ 329

更多66折

Taaze 讀冊生活 - 暢銷排行榜

徹底的信仰，根本的療癒（首刷限定印簽版）

作者：楊定一

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

出版日期：2026-05-05

$ 466

金石堂 - 暢銷排行榜

消失的戀情(03)

作者：ひなこ

出版社：青文出版社股份有限公司

出版日期：2026-04-30

$ 110

金石堂 - 暢銷排行榜

沒想到居然是被你上！～心上人是AV男優(06)

作者：夏原サイケ

出版社：青文出版社股份有限公司

出版日期：2026-04-30

$ 110

Taaze 讀冊生活 - 暢銷排行榜

地緣風險理財課：從保值到增值的全方位指南

作者：劉玉皙

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

出版日期：2026-03-27

$ 379

更多暢銷書

Taaze 讀冊生活 - 新書排行榜

為命運戴上項圈（全）

作者：山谷しき

出版社：台灣東販股份有限公司

出版日期：2026-03-26

$ 105

金石堂 - 新書排行榜

末等魂師第2部(4)一出手就天翻地覆

作者：銀千羽

出版社：平裝本出版有限公司

出版日期：2026-05-11

$ 236

Taaze 讀冊生活 - 新書排行榜

遍路醬！（01）

作者：近藤るるる

出版社：台灣東販股份有限公司

出版日期：2026-03-26

$ 98

Taaze 讀冊生活 - 新書排行榜

蒼天之拳典藏版（01）

作者：原哲夫

出版社：尖端出版

出版日期：2026-05-07

$ 245

更多新書