登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書

『英文書』Modelling Systems(ISBN=9780521899116)

書城自編碼: 1835469
分類:簡體書→原版英文書→科学与技术 Science & Tech
作者: Peter
國際書號(ISBN): 9780521899116
出版社: Cambridge University
出版日期: 2012-01-01
版次: 1 印次: 1
頁數/字數: 288/
書度/開本: 16开 釘裝: 精装

售價:HK$ 1654.4

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
欧洲史:从古希腊到冷战后
《 欧洲史:从古希腊到冷战后 》

售價:HK$ 239.6
蓝湖战略:在细分市场打造制造业的“隐形冠军”
《 蓝湖战略:在细分市场打造制造业的“隐形冠军” 》

售價:HK$ 83.5
螺蛳姐姐
《 螺蛳姐姐 》

售價:HK$ 60.3
数据科学技术:文本分析和知识图谱
《 数据科学技术:文本分析和知识图谱 》

售價:HK$ 156.1
胡佛的天梯
《 胡佛的天梯 》

售價:HK$ 106.5
愤怒:一部关于情绪的冲突史
《 愤怒:一部关于情绪的冲突史 》

售價:HK$ 82.3
两班:朝鲜王朝的特权阶层
《 两班:朝鲜王朝的特权阶层 》

售價:HK$ 58.1
永通万国:货币与历代兴衰
《 永通万国:货币与历代兴衰 》

售價:HK$ 118.6

 

內容簡介:
How can we make sure that the software we build does what it
is supposed to? This book provides an insight into established
techniques which help developers to overcome the complexity of
software development by constructing models of software systems in
early design stages. It uses one of the leading formal methods, VDM
Vienna Development Method, and combines training in the formalism
with industry-strength tool support and examples derived from real
industrial applications. The principles taught here also apply to
many of the current generation of formal methods. This second
edition has been updated to include advanced online tool support
for formal modeling as well as up-to-date reports on real
commercial applications in areas as diverse as business information
systems and firmware design.

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.