楽天スーパーDEAL 対象のオススメ商品が15%ポイントバック
プログラム仕様記述論
  • Googleプレビュー

プログラム仕様記述論 (IT text)
荒木啓二郎

3,024円(税込)送料無料

獲得ポイント:

この商品が関連するクーポン・キャンペーンがあります

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

楽天ブックス初めてご利用の方限定!

初めて利用&条件達成でポイント最大10倍

電子書籍版はまだありません。

商品基本情報

  • 発売日:  2002年11月
  • 著者/編集:   荒木啓二郎張漢明
  • 出版社:   オーム社
  • 発行形態:  単行本
  • ページ数:  191p
  • ISBNコード:  9784274132636

商品説明

【内容情報】(「BOOK」データベースより)
本書は、ソフトウェア開発におけるいわゆる形式手法(formal methods)の入門書である。プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。

【目次】(「BOOK」データベースより)
第1章 プログラムの正しさープログラムの検証入門/第2章 Floyd-Hoare論理/第3章 仕様としての事前条件と事後条件/第4章 VDM-SLによる仕様記述の例/第5章 例題で見るシステム仕様記述/第6章 事例で見る実用的仕様記述/付録A VDM-SL概説/付録B Zによる仕様記述

【著者情報】(「BOOK」データベースより)
荒木啓二郎(アラキケイジロウ)
1976年九州大学工学部情報工学科卒業。1982年工学博士。現在、九州大学大学院システム情報科学研究院情報工学部門教授

張漢明(チョウカンメイ)
1999年奈良先端科学技術大学院大学情報科学研究科情報システム学専攻博士後期課程修了。1999年博士(工学)。現在、南山大学数理情報学部情報通信学科助教授(本データはこの書籍が刊行された当時に掲載されていたものです)

みんなのレビュー

この商品にはまだレビューがありません レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご購入はこちらから

メーカー取り寄せ

通常6〜16日程度で発送

商品確保が難しい場合、3週間程度でキャンセルとなる可能性があります。

3,024円(税込)

送料無料

個数 
お気に入りに追加

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:パソコン・システム開発

    ※1時間ごとに更新

    1. 1
      世界一かんたん定番年賀状 2018
      世界一かんたん定番年賀状 2018

      年賀状素材集編集部

      429円(税込)

    2. 2
      SIMフリー完全ガイド
      SIMフリー完全ガイド

      734円(税込)

    3. 3
      デジカメ写真でつくる年賀状ふぉと・ねんが(2018)
      デジカメ写真でつくる年賀状ふぉと・ねん…

      572円(税込)

    4. 4
      人生の勝算
      人生の勝算

      前田裕二

      1,512円(税込)

    5. 5
      かんたん年賀状素材集(2018年版)
      かんたん年賀状素材集(2018年版)

      技術評論社編集部

      1,000円(税込)

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ