購物比價找書網找車網
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折
i室設圈│漂亮家居02:究極。米其林餐飲空間新顯學
作者:i室設圈漂亮家居編輯部
出版社:麥浩斯資訊股份有限公司
出版日期:2023-07-15
66折: $ 329 
金石堂 - 今日66折
海頓媽媽的烘焙實驗廚房:吃過都會敲碗想再吃的小點心54道
作者:海頓媽媽
出版社:幸福文化
出版日期:2020-05-06
66折: $ 277 
金石堂 - 今日66折
Amyの私人廚房,在家好好吃飯:讓人口水直流、抓住全家人胃的100道家常菜(附完整步驟影音)
作者:Amy (張美君)
出版社:幸福文化
出版日期:2020-06-10
66折: $ 330 
金石堂 - 今日66折
爆發式成長:突破舊我、逆轉停滯困境的14堂底層思維課!
作者:李栩然
出版社:幸福文化
出版日期:2023-07-05
66折: $ 263 
 
博客來 - 暢銷排行榜
精準營養與肺癌治療
作者:陳晉興
出版社:天下文化
出版日期:2025-04-30
$ 474 
金石堂 - 暢銷排行榜
這樣做生醫研究才好玩:從學習、創新到市場落地
作者:方旭偉
出版社:暖暖書屋文化事業股份有限公司
出版日期:2025-05-19
$ 316 
金石堂 - 暢銷排行榜
觸摸的練習契約 (首刷書盒限定版)  03(完)
作者:MAE
出版社:東立出版社
出版日期:2025-06-30
$ 694 
Taaze 讀冊生活 - 暢銷排行榜
酪乳與塗鴉:《黑白大廚》愛德華.李,最好的料理不在完美,而是透過不完美,抵達記憶。
作者:愛德華.李
出版社:三采文化股份有限公司
出版日期:2025-05-02
$ 458 
 
博客來 - 新書排行榜
阿甘節稅法:全方位理財第三堂課,讓你隱形加薪,退休金翻倍
作者:闕又上
出版社:萬化企業
出版日期:2025-04-25
$ 395 
金石堂 - 新書排行榜
鄰人是有名直播主 特裝版
作者:菖蒲
出版社:未來數位有限公司
出版日期:2025-05-23
$ 237 
Taaze 讀冊生活 - 新書排行榜
司徒法正2025蛇年運程寶典-蛇
作者:司徒法正
出版社:博學出版社
出版日期:2025-05-21
$ 66 
博客來 - 新書排行榜
SEX DROP 深陷其中 II
出版日期:2025-05-14
$ 119 
 

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