購物比價找書網找車網
FindBook
排序:
 
 有 1 項符合

peter c. chapin

的圖書
Building High Integrity Applications with SPARK
$ 1916
    電子書
Building High Integrity Applications with SPARK
作者:John W. McCormick,Peter C. Chapin 
出版社:Cambridge University Press
出版日期:2015-08-31
語言:英文   
樂天KOBO 樂天KOBO - 電腦  - 來源網頁  
圖書介紹看圖書介紹
圖書介紹 - 資料來源:樂天KOBO   評分:
圖書名稱:Building High Integrity Applications with SPARK

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

贊助商廣告
 
金石堂 - 今日66折
股市之神:是川銀藏投資準則與傳奇一生
作者:呂理州
出版社:時報文化出版企業股份有限公司
出版日期:2021-10-19
66折: $ 185 
金石堂 - 今日66折
Holiday:吳心緹の寫真集(隨書加贈:光影四季寫真卡,四款隨機一款投入)
作者:吳心緹、鄭弘敬
出版社:時報文化出版企業股份有限公司
出版日期:2024-10-29
66折: $ 429 
 
金石堂 - 暢銷排行榜
包養前輩(6)
作者:Tji
出版社:台灣角川股份有限公司
出版日期:2025-05-19
$ 277 
Taaze 讀冊生活 - 暢銷排行榜
一次讀懂古文觀止+國學常識養成(共二冊)(3版)
作者:高詩佳◎著、滿分王,得分小組◎總策劃
出版社:五南圖書出版股份有限公司
出版日期:2023-08-28
$ 413 
Taaze 讀冊生活 - 暢銷排行榜
你的人生,他們六個說了算!:決定你一生的六種物質
作者:大衛.JP.菲利浦斯
出版社:平安文化有限公司
出版日期:2024-12-30
$ 284 
金石堂 - 暢銷排行榜
世界一初戀~小野寺律的情況(18)
作者:中村春菊
出版社:台灣角川股份有限公司
出版日期:2025-05-22
$ 111 
 
Taaze 讀冊生活 - 新書排行榜
白話詩小品
作者:秦德勝
出版社:樹人出版
出版日期:2025-05-24
$ 126 
Taaze 讀冊生活 - 新書排行榜
衰老細胞:導致老化疾病或誘發癌症? ─僵屍細胞、幹細胞、外泌體─
作者:何豐名
出版社:豐群生技有限公司
出版日期:2025-05-24
$ 840 
金石堂 - 新書排行榜
末世孤雄(02)
作者:増田ちひろ
出版社:青文出版社股份有限公司
出版日期:2025-05-14
$ 174 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策