プログラム検証論(情報数学講座)
林 晋
著
絶版
価格
\3,520（税込）
発行年月
1995年09月
出版社／提供元
共立出版
言語
日本語
媒体
冊子
ページ数／巻数
２１１ｐ
大きさ
22
ジャンル
和書／理工学／情報学／プログラミング
ISBN
9784320026582
商品コード
0195102043
NDC分類
007.64
基本件名
プログラミング（コンピュータ）
商品URL
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0195102043
内容
１．プログラムの検証 ２．ホーア論理入門 ３．形式的理論 ４．ホーア論理詳説 ５．ホーア論理の数学 ６．ダイクストラの検証法 ７．古典理論を越えて ８．形式的技法
