購物比價找書網找車網
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.

贊助商廣告
 
 
博客來 - 暢銷排行榜
納瓦爾寶典珍藏版:從白手起家到財務自由,矽谷傳奇創投家的投資哲學與人生智慧
作者:艾瑞克.喬根森 (Eric Jorgenson)
出版社:天下雜誌
出版日期:2025-02-05
$ 355 
Taaze 讀冊生活 - 暢銷排行榜
酪乳與塗鴉:《黑白大廚》愛德華.李,最好的料理不在完美,而是透過不完美,抵達記憶。
作者:愛德華.李
出版社:三采文化股份有限公司
出版日期:2025-05-02
$ 458 
Taaze 讀冊生活 - 暢銷排行榜
miffy潔膚柔濕巾-20抽(綠)
作者:新台
出版社:新台圖書
出版日期:2023-08-30
$ 23 
金石堂 - 暢銷排行榜
我所看見的未來  完全版 (竜樹諒預言漫畫集)
作者:竜樹諒
出版社:大塊文化出版股份有公司
出版日期:2022-07-01
$ 300 
 
博客來 - 新書排行榜
我是胡志強,今天來報到!
作者:胡志強
出版社:天下文化
出版日期:2025-05-15
$ 553 
金石堂 - 新書排行榜
聽見向陽之聲–春夏秋冬–(03)
作者:文乃 ゆき
出版社:尖端漫畫
出版日期:2025-05-16
$ 213 
金石堂 - 新書排行榜
請不要讓大人感到困擾!(03)完
作者:にやま
出版社:尖端漫畫
出版日期:2025-05-27
$ 119 
金石堂 - 新書排行榜
新.朋友的馬麻(中) 無修正
作者:gonza
出版社:未來數位有限公司
出版日期:2025-05-02
$ 261 
 

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