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

peter c. chapin

的圖書
Building High Integrity Applications with SPARK
$ 1577
    電子書
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折
葛瑞的囧日記1-4集套書
作者:傑夫.肯尼
出版社:未來出版社
出版日期:2019-06-27
66折: $ 929 
TAAZE 讀冊生活 - 今日66折
沒有門檻的幸福
作者:楊士毅
出版社:大塊文化出版股份有限公司
出版日期:2024-02-23
66折: $ 382 
 
博客來 - 暢銷排行榜
你願意,人生就會值得:蔡康永的情商課3
作者:蔡康永
出版社:如何
出版日期:2024-08-01
$ 316 
博客來 - 暢銷排行榜
活用技術分析寶典:飆股上校朱家泓40年實戰精華 從K線、均線到交易高手的養成祕笈 (上、下冊)
作者:朱家泓
出版社:金尉
出版日期:2024-11-21
$ 948 
Taaze 讀冊生活 - 暢銷排行榜
大廚不外傳の黃金比例調醬祕訣571【暢銷修訂版】
作者:學研編輯部
出版社:台灣廣廈
出版日期:2020-02-13
$ 224 
金石堂 - 暢銷排行榜
我們的地球漫步方式(03)
作者:ソライモネ
出版社:尖端漫畫
出版日期:2024-12-17
$ 187 
 
博客來 - 新書排行榜
善意溝通:怡慧老師的0負評暖心說話課【博客來獨家版.附「善意習慣」21天實踐計畫書】
作者:宋怡慧
出版社:平安文化
出版日期:2024-12-02
$ 276 
Taaze 讀冊生活 - 新書排行榜
失智行為說明書:到底是失智?還是老化?改善問題行為同時改善生理現象,讓照顧變輕鬆!
作者:平松類、內野勝行審定
出版社:如果出版
出版日期:2024-12-11
$ 280 
博客來 - 新書排行榜
情緒,是為了讓你看見自己:靈媒媽媽的心靈解答書6
出版日期:2024-12-24
$ 316 
Taaze 讀冊生活 - 新書排行榜
不是搞不定人,是搞不懂人性【新裝版】:掌握人類行為的底層邏輯,到哪都吃得開!
作者:王心傲
出版社:時報文化出版企業股份有限公司
出版日期:2024-12-17
$ 252 
 

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