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

peter c. chapin

的圖書
Building High Integrity Applications with SPARK
$ 1804
    電子書
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折
筋膜律動的非凡力量:告別全身疼痛,讓脊椎、肌肉、筋膜無比和諧
作者:亞歷山大.孟茨
出版社:如何出版社
出版日期:2023-08-01
66折: $ 238 
金石堂 - 今日66折
韓國泡菜大師課:韓國職人傳授70年醃漬的美味靈魂和140道正宗純天然的四季泡菜食譜
作者:裴明子
出版社:幸福文化
出版日期:2023-07-05
66折: $ 449 
金石堂 - 今日66折
今天起,和植物一起生活:寫給想用綠意佈置家的你!36種耐陰好種、少蟲害、新手友善的室內觀葉提案
作者:kurumidori channel
出版社:蘋果屋出版社
出版日期:2024-09-05
66折: $ 277 
金石堂 - 今日66折
滿心冥想:印度的百年神性意識傳授,一場切實可行的靈性實驗
作者:葛木雷什‧D‧巴特爾、 約書亞‧波洛克
出版社:方智出版社股份有限公司
出版日期:2023-04-01
66折: $ 211 
 
Taaze 讀冊生活 - 暢銷排行榜
三月瘋媽祖:「最強臺灣媽」朝聖全攻略&全紀錄
作者:王惠光
出版社:皇冠文化出版有限公司
出版日期:2025-02-10
$ 355 
Taaze 讀冊生活 - 暢銷排行榜
自學日語 看完這本就能說:專為華人設計的日語教材,50音+筆順+單字+文法+會話一次學會!(附QR CODE音檔)
作者:許心瀠
出版社:語研學院
出版日期:2020-12-10
$ 374 
金石堂 - 暢銷排行榜
阿甘投資法:不看盤、不選股、不挑買點也能穩穩賺
作者:闕又上
出版社:遠見天下文化出版股份有限公司
出版日期:2020-05-27
$ 332 
博客來 - 暢銷排行榜
別對每件事都有反應【2025限量暢銷特典版】:淡泊一點也無妨,活出快意人生的99個禪練習!
作者:枡野俊明
出版社:悅知文化
出版日期:2024-12-18
$ 260 
 
金石堂 - 新書排行榜
月刊少女野崎同學(16)
作者:樁泉
出版社:青文出版社股份有限公司
出版日期:2025-04-30
$ 111 
金石堂 - 新書排行榜
蕩蕩與濁濁
作者:越山弱衰
出版社:未來數位有限公司
出版日期:2025-05-02
$ 261 
Taaze 讀冊生活 - 新書排行榜
帛琉觀點
作者:賀瑪納.拉瑪瑞
出版社:秀威資訊
出版日期:2025-04-01
$ 175 
金石堂 - 新書排行榜
伴侶未滿的我們(全)
作者:あらた六花
出版社:青文出版社股份有限公司
出版日期:2025-05-02
$ 142 
 

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