Building High Integrity Applications with SPARK

￥33,090
+ 配送料￥2,099

Building High Integrity Applications with SPARK

  • ブランド: Unbranded
  • product image
SPARK を使用した高整合性アプリケーションの構築

Building High Integrity Applications with SPARK

  • ブランド: Unbranded
価格： ￥33,090
販売元:
￥33,090
+ 配送料￥2,099

在庫あり

14日間返品ポリシー

支払い方法:

説明

Building High Integrity Applications with SPARK

ソフトウェアは私たちの生活に浸透しています。私たちはそのソフトウェアの多くの障害に対処することに慣れており、アプリケーションの再起動は非常に身近な解決策です。このようなソリューションは、ソフトウェアが当社の自動車、飛行機、医療機器を制御したり、個人情報を管理したりする場合には受け入れられません。これらのアプリケーションは、エラーなしで実行する必要があります。SPARKは、プログラムにエラーがないことを保証するための数学的証明に基づく手段を提供します。SPARKは、正式に定義されたプログラミング言語であり、高信頼性アプリケーションで使用されるソフトウェアの開発をサポートするために特別に設計された一連の検証ツールです。SPARKを使用すると、開発者は、情報フロー、実行時エラーの解放、機能的正確性、セキュリティプロパティ、安全性プロパティなど、コードのプロパティを正式に検証できます。2人のSPARK専門家によって書かれたこれは、リリースされたばかりの2014年バージョンの最初の紹介です。学生も開発者も同様に、SPARKを使用してシステムを構築するための基本概念を習得するのに役立ちます。言語:英語
  • ブランド: Unbranded
  • カテゴリー: コンピューター、インターネット
  • フォーマット: ハードカバーの本
  • 刊行日: 2015/08/31
  • アーティスト: マコーミック・ジョン・W
  • ページ数: 382
  • 出版社 / レコード会社: ケンブリッジ大学出版局
  • 言語: 英語
  • Fruugo ID: 338047036-741709036
  • ISBN: 9781107040731

配送と返品

6日間以内に発送

  • STANDARD: ￥2,099 - 間の配達 火 06 1月 2026–金 09 1月 2026

イギリスより発送。

ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。 全額返金ポリシーを見る