プログラム仕様記述論
  • Googleプレビュー

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

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

獲得ポイント:

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

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

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

商品基本情報

  • 発売日:  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年博士(工学)。現在、南山大学数理情報学部情報通信学科助教授(本データはこの書籍が刊行された当時に掲載されていたものです)

みんなのレビュー

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

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

  • 週間ランキング

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

  • 日別ランキング

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

ご購入はこちらから

在庫あり

残りあと1

午前中に注文完了分は当日発送

あす楽対象商品

のご注文で
送料無料で  にお届け

あす楽利用条件
カード払い、ご自宅への配送に限ります。代引き、コンビニなど一部条件において対象外となります。
詳細は「あす楽」利用条件をご確認ください。

3,024円(税込)

送料無料

個数 
お気に入りに追加

最近チェックした商品

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

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

    ※1時間ごとに更新

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

    このページの先頭へ