OK


新規ご入会でもれなく全員!

  1. ネットオフTOP
  2. 古本・中古本
  3. 女性本・生活本・コンピュータ本
  4. プログラム仕様記述論

すべてのカテゴリーを見る

書籍

  • 在庫あり
  • 中古のみ

プログラム仕様記述論 /単行本書籍
作家:張漢明

中古価格 171
買取価格 137
差引 34円でお楽しみいただけます
プレミアム会員とは
メール便対象

★すぐに使える100円引きクーポンプレゼント

×

LINE@友達登録で
100円引きクーポンプレゼント

プログラム仕様記述論 の詳細

出版社
: オーム社
出版社シリーズ
:
ISBN
: 4274132633 (9784274132636)
サイズ
: 単行本
発売年月日
: 2002年11月1日

プログラム仕様記述論 の商品紹介  (TSUTAYAオンラインショッピングより)

本書は、ソフトウェア開発におけるいわゆる形式手法(formal methods)の入門書である。プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。

目次 :第1章 プログラムの正しさ―プログラムの検証入門;第2章 Floyd‐Hoare論理;第3章 仕様としての事前条件と事後条件;第4章 VDM‐SLによる仕様記述の例;第5章 例題で見るシステム仕様記述;第6章 事例で見る実用的仕様記述;付録A VDM‐SL概説;付録B Zによる仕様記述

女性・生活・コンピュータ 週間売れ筋ランキング(04/22~04/28)

2024年4月29日時点の価格です。最新の価格は商品ページ・カートよりご確認ください。

古本 週間売れ筋ランキング(04/22~04/28)

2024年4月29日時点の価格です。最新の価格は商品ページ・カートよりご確認ください。

送料無料まであとすこし!

  • 先頭へ

関連する商品を探す

激安商品を探す

ネットオフ株式会社は、リネットジャパングループ株式会社の100%子会社です。リネットジャパングループ株式会社は東証マザーズに上場しています。