¥11,466 + 配送料無料
  • 参考価格: ¥11,557
  • OFF: ¥91 (1%)
在庫あり。 在庫状況について
この商品は、ブックデポジトリー (Book Depository) が販売、発送します。
¥11,466 + 配送料無料
この商品をお持ちですか? マーケットプレイスに出品する

おすすめ商品の読み込み中
お客様へのおすすめ商品

カートに追加中...

カートに追加されました

追加されませんでした

商品はお客様のカートに入っています。

カートを見る

追加されませんでした

本商品をカートに追加する際問題が発生しました。 後でもう一度試してください。
申し訳ありませんが、現在おすすめ商品を表示する際に問題が発生しています。 後でもう一度試してください。
ショッピングを続ける
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
この画像を表示

Qed at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends(r) in Programming Languages) ペーパーバック – 2019/9/3


その他()の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
ペーパーバック, 2019/9/3
¥11,466
¥11,466 ¥12,404

ブックマイレージカード
click to open popover

キャンペーンおよび追加情報

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • iOSアプリのダウンロードはこちらをクリック
    Apple
  • Androidアプリのダウンロードはこちらをクリック
    Android
  • Amazonアプリストアへはこちらをクリック
    Android

無料アプリを入手するには、Eメールアドレスを入力してください。

kcpAppSendButton

商品の説明

内容紹介

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machine-checked formal proofs are now reaching an unprecedented scale, comparable to large software projects, which leads to new challenges in proof development and maintenance. Despite its increasing importance, the field of proof engineering is seldom considered in its own right; related theories, techniques, and tools span many fields and venues. QED at Large covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. It emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments. This monograph is intended for use by researchers and students who are new to the field. It provides the reader with an insightful overview of the work that has led to modern-day techniques for formally verifying software. In times of increasing automation, this underpins many software systems so future trends are also highlighted.


登録情報

  • ペーパーバック: 194ページ
  • 出版社: Now Publishers (2019/9/3)
  • 言語: 英語
  • ISBN-10: 1680835947
  • ISBN-13: 978-1680835946
  • 発売日: 2019/9/3
  • 商品パッケージの寸法: 15.6 x 1.1 x 23.4 cm
  • おすすめ度: この商品の最初のレビューを書き込んでください。
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る

まだカスタマーレビューはありません

星5つ (0%) 0%
星4つ (0%) 0%
星3つ (0%) 0%
星2つ (0%) 0%
星1つ (0%) 0%

この商品をレビュー

他のお客様にも意見を伝えましょう