プログラム検証論 --
広瀬健 /〔ほか〕編集   -- 共立出版 -- 1995.09 -- 22cm -- 211p

資料詳細

タイトル 情報数学講座 第8巻
各巻タイトル プログラム検証論
著者名等 広瀬健 /〔ほか〕編集  
出版 共立出版 1995.09
大きさ等 22cm 211p
分類 007.1
件名 情報数学
内容 参考文献:p199~201
目次 第1章 プログラムの検証;第2章 ホーア論理入門;第3章 形式的理論;第4章 ホーア論理詳説;第5章 ホーア論理の数学;第6章 ダイクストラの検証法;第7章 古典理論を越えて;第8章 形式的技法
ISBN(13)、ISBN    4-320-02658-6
書誌番号 1195047463
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1195047463

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.1/175 一般書 利用可 - 2004807963 iLisvirtual