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

Building High Integrity Applications with SPARK

的圖書
Building High Integrity Applications with SPARK Building High Integrity Applications with SPARK

作者:John W. McCormick,Peter C. Chapin 
出版社:Cambridge University Press
出版日期:2015-08-31
語言:英文   
圖書選購
型式價格供應商所屬目錄
電子書
$ 1577
樂天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折
我的幸福練習曲﹝有聲書﹞
作者:許添盛、李宜懃
出版社:賽斯文化
出版日期:2020-05-01
66折: $ 726 
金石堂 - 今日66折
四大文明神話套書(四冊):《美索不達米亞神話》、《埃及神話》、《印度神話》、《中國神話》
作者:席路德
出版社:漫遊者
出版日期:2023-08-14
66折: $ 950 
金石堂 - 今日66折
牆
作者:鄭震鎬
出版社:五南圖書出版股份有限公司
出版日期:2018-02-28
66折: $ 211 
金石堂 - 今日66折
周姚萍的小作家書房2:溼地奇案
作者:周姚萍
出版社:五南圖書出版股份有限公司
出版日期:2020-10-28
66折: $ 165 
 
博客來 - 暢銷排行榜
以貓貓之軀,讓宇宙完整
作者:四叉貓
出版社:大塊文化
出版日期:2025-01-22
$ 276 
金石堂 - 暢銷排行榜
家庭聯絡簿(空白直條版)
作者:世一文化編輯群
出版社:世一文化事業股份有限公司
出版日期:2019-01-16
$ 28 
金石堂 - 暢銷排行榜
不經意陷入愛情 double  (特裝版)(全)
作者:鈴丸みんた
出版社:東立出版社
出版日期:2025-01-22
$ 170 
金石堂 - 暢銷排行榜
關於我在無意間被隔壁的天使變成廢柴這件事 (首刷限定版) 10
作者:佐伯さん
出版社:東立出版社
出版日期:2025-02-06
$ 510 
 
金石堂 - 新書排行榜
轉生競技場 ~且看奴隸用最弱技能攻略最強女角們建立後宮~ (3)
作者:漫畫:zunta、原作:はらわたさいぞう
出版社:台灣角川股份有限公司
出版日期:2025-02-20
$ 111 
金石堂 - 新書排行榜
藥師少女的獨語 (特裝版) 14
作者:ねこクラゲ
出版社:東立出版社
出版日期:2025-02-28
$ 187 
金石堂 - 新書排行榜
月租獨棟庭院住宅附房東 (3)
作者:ヨドカワ
出版社:台灣角川股份有限公司
出版日期:2025-02-13
$ 142 
 

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