OK
カートに進む
書籍 すべてのカテゴリー コミック コミックセット 書籍 CD DVD・ブルーレイ ゲーム
通常価格
171円(税込)
定価より2,909円おトク!
プレミアム会員なら
差引34円
通常価格より137円おトク!
89shm
★すぐに使える100円引きクーポンプレゼント
×
本書は、ソフトウェア開発におけるいわゆる形式手法(formal methods)の入門書である。プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。
目次 :第1章 プログラムの正しさ―プログラムの検証入門;第2章 Floyd‐Hoare論理;第3章 仕様としての事前条件と事後条件;第4章 VDM‐SLによる仕様記述の例;第5章 例題で見るシステム仕様記述;第6章 事例で見る実用的仕様記述;付録A VDM‐SL概説;付録B Zによる仕様記述
2024年4月29日時点の価格です。最新の価格は商品ページ・カートよりご確認ください。
・古本・中古本 > 女性本・生活本・コンピュータ本 > コンピューター・インターネット > コンピューターその他
・古本・中古本 > 女性本・生活本・コンピュータ本 > コンピューター・インターネット > 作家 た行 > 張漢明
・古本・中古本の人気ランキングから探す
・女性本・生活本・コンピュータ本の人気ランキングから探す
・人気 書籍作家ランキングから探す
買取 宅配買取 >古本・中古本の高価買取情報 >女性本・生活本・コンピュータ本の高価買取情報
カートに商品はありません。
成人カテゴリに入ろうとしています。
18歳未満の方のご利用はお断りしています。
このカテゴリをご利用いただくには年齢が18歳以上の方であることが条件となっています。
あなたは18歳以上ですか?