資料詳細

林 晋/著 -- 共立出版 -- 1995.9 -- 007.64

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 状態
7書庫 /418.6/ハ/ 8130289946 一般 館内有

資料詳細

書名 プログラム検証論
シリーズ名 情報数学講座
著者名 林 晋 /著  
出版者 共立出版
出版年 1995.9
ページ数 211p
大きさ 22cm
一般件名 プログラミング(コンピュータ)
NDC分類(9版) 007.64
内容紹介 1.プログラムの検証 2.ホーア論理入門 3.形式的理論 4.ホーア論理詳説 5.ホーア論理の数学 6.ダイクストラの検証法 7.古典理論を越えて 8.形式的技法
ISBN 4-320-02658-6