資料詳細

  • 1 件中、 1 件目

プログラム検証論   貸出可

林晋／著 -- 共立出版 -- １９９５．９ -- 007.64  (情報数学講座 ８)

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫０門 /007/Ｈ４８/ 0010095087911 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ プログラム検証論 
著者１ 林晋 ／著  
出版年 １９９５．９
出版者 共立出版
シリーズ名 情報数学講座  ８
一般件名 プログラミング（コンピュ－タ）
ページ数 ２１１ｐ
大きさ ２２ｃｍ
ISBN 4-320-02658-6
NDC分類(10版) 007.64
内容紹介 １．プログラムの検証　２．ホ－ア論理入門　３．形式的理論　４．ホ－ア論理詳説　５．ホ－ア論理の数学　６．ダイクストラの検証法　７．古典理論を越えて　８．形式的技法

ページの先頭へ