購物比價找書網找車網
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折
小車X存股實驗套書:《給存股族的ETF實驗筆記》+《給存股新手的財富翻滾筆記》
作者:小車X存股實驗
出版社:幸福文化
出版日期:2024-03-20
66折: $ 528 
金石堂 - 今日66折
窮忙,是你不懂梳理人生
66折: $ 251 
 
博客來 - 暢銷排行榜
與人為善的幸福哲學:吳家德的豐盛人生心法
作者:吳家德
出版社:遠流
出版日期:2025-04-17
$ 300 
金石堂 - 暢銷排行榜
Smoky Nectar–繚繞的蜜液–Renew(全)
作者:ミナヅキアキラ
出版社:尖端漫畫
出版日期:2025-05-16
$ 119 
博客來 - 暢銷排行榜
海豚的耳骨 全 (首刷限定版)
出版日期:2025-05-07
$ 212 
Taaze 讀冊生活 - 暢銷排行榜
最高閒聊法:再尷尬也能聊出花來,一生受用的人際溝通術
作者:五百田達成
出版社:方智出版
出版日期:2021-12-01
$ 264 
 
金石堂 - 新書排行榜
尚好呷台灣小吃:國寶級專家親授最道地的美味,在家輕鬆學╳創業致富配方╳品味文化典故
作者:劉妙華
出版社:蔚藍文化出版股份有限公司
出版日期:2025-05-27
$ 537 
Taaze 讀冊生活 - 新書排行榜
The Birth of Green Energy Industrial Revolution 1.0
作者:Michael Chou
出版社:Michael Chou
出版日期:2025-05-20
$ 90 
Taaze 讀冊生活 - 新書排行榜
《尋找上師》師父說
作者:陳念萱
出版社:華品文創
出版日期:2025-05-01
$ 266 
博客來 - 新書排行榜
與妳的子宮對話:月經、生孕與健康
出版日期:2025-05-12
$ 355 
 

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