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

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 書庫1上 Map B/007.1/ヒロ/685621 1106856217 閲可 貸可 協可

資料詳細

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