資料詳細

広瀬健/〔ほか〕編集 -- 共立出版 -- 1995.9 -- 007.1

所蔵

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

所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
書庫 0071/J7/1-8 1104398993 一般 貸出可 在庫 iLisvirtual

資料詳細

種別 図書
タイトルコード 1105045959
タイトル 情報数学講座  第8巻
タイトルカナ ジョウホウ スウガク コウザ
著者 広瀬健 /〔ほか〕編集  
著者カナ ヒロセ ケン
巻の書名 プログラム検証論
各巻著者 林晋/著
出版地 東京
出版者 共立出版
出版年 1995.9
ページ数 211p
大きさ 22cm
一般件名 情報数学
NDC分類(8版) 007.1
ISBN 4-320-02658-6 国立国会図書館 KGWAP5502 GoogleBooks
定価 ¥3200
内容注記 参考文献:p199~201