中古品
¥ 2,199
+ ¥ 380 配送料
コンディション: 中古品: 非常に良い
コメント: 中古商品となりますため、通常使用による若干の使用感はありますが、 良好なコンディションです。丁寧な検品を心がけていますが、書籍の場合は書き込みがある場合もあります。帯や付属品等は原則ついておりません。◆簡易クリーニング済。◆ゆうメール配送。◆ビニール防水梱包発送。◆ポスト投函。※万が一検品漏れがございましたらご一報ください。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
この画像を表示

組み込みソフトへの数理的アプローチ―形式手法によるソフトウェアの仕様記述と検証 (COMPUTER TECHNOLOGY) 単行本 – 2012/4/1


その他()の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
単行本, 2012/4/1
¥ 13,435 ¥ 2,199
click to open popover

この商品を見た後に買っているのは?

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

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

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

kcpAppSendButton

商品の説明

内容(「BOOK」データベースより)

組み込みソフトウェアは年々巨大化し、従来の開発手法では品質が保証できなくなってきています。バグの発生は、ただちにシステムの障害に直結し、社会や人命に重大な損害を与えます。そこで登場した考え方として「形式手法(Formal Method)」があります。数学を基礎とし、プログラムの正しさを証明していこうという考えです。仕様を厳密に定義するための形式仕様記述、モデルの論理的な検証手法である形式検証について、LTSA、Alloy、CBMC、VDMなどの容易に入手できるツールを使いつつ学んでいきます。

著者略歴 (「BOOK著者紹介情報」より)

藤倉/俊幸
エンジニアとして約30年活動。博士(学術)はデータ・マイニングの一種で取得。2010年から株式会社エクスモーション勤務(本データはこの書籍が刊行された当時に掲載されていたものです)


登録情報

  • 単行本: 247ページ
  • 出版社: CQ出版 (2012/4/1)
  • 言語: 日本語
  • ISBN-10: 4789838080
  • ISBN-13: 978-4789838085
  • 発売日: 2012/4/1
  • 梱包サイズ: 23.4 x 18.4 x 1.6 cm
  • おすすめ度: この商品の最初のレビューを書き込んでください。
  • Amazon 売れ筋ランキング: 本 - 1,085,032位 (本の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る

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


この商品をレビュー

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