購物比價找書網找車網
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折
什麼啦!這也是資訊科學
作者:謝宗翔
出版社:聚光文創
出版日期:2018-12-16
66折: $ 211 
金石堂 - 今日66折
個人與群體事件的本質有聲書第2輯
作者:許添盛
出版社:賽斯文化
出版日期:2007-09-01
66折: $ 581 
金石堂 - 今日66折
夢、進化與價值完成有聲書第4 輯
作者:許添盛
出版社:賽斯文化
出版日期:2016-08-01
66折: $ 660 
金石堂 - 今日66折
心靈的本質有聲書第 4 輯
作者:許添盛主講
出版社:賽斯文化
出版日期:2015-08-01
66折: $ 660 
 
金石堂 - 暢銷排行榜
黃仁勳傳:輝達創辦人如何打造全球最搶手的晶片
作者:史帝芬.維特
出版社:遠見天下文化出版股份有限公司
出版日期:2025-01-20
$ 395 
Taaze 讀冊生活 - 暢銷排行榜
我獨自升級(9+10)漫畫(特裝版)
作者:漫畫 DUBU(REDICE STUDIO)、原作 Chugong
出版社:知翎文化
出版日期:2025-01-02
$ 882 
博客來 - 暢銷排行榜
【我推的孩子】(14)
出版日期:2025-01-08
$ 126 
金石堂 - 暢銷排行榜
輝達之道:黃仁勳打造晶片帝國,引領AI浪潮的祕密
作者:金泰
出版社:商業周刊
出版日期:2025-01-03
$ 356 
 
博客來 - 新書排行榜
張忠謀自傳全集(上下冊)
作者:張忠謀
出版社:天下文化
出版日期:2024-11-29
$ 869 
博客來 - 新書排行榜
迷宮飯 世界導覽冒險者聖經 完全版(全)
出版日期:2025-01-22
$ 395 
金石堂 - 新書排行榜
想要聽妳說妳喜歡我(全)
作者:竹嶋えく
出版社:青文出版社股份有限公司
出版日期:2025-01-22
$ 111 
Taaze 讀冊生活 - 新書排行榜
山野花香(全)
作者:清風九度
出版社:北京億森同創文化
出版日期:2025-01-17
$ 59 
 

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