林 晋/著 -- ハヤシ,ススム -- 共立出版 -- 1995.9 -- 007.64

※所蔵欄の「帯出区分」が「貸出禁止」のものや、「状態」が「在架」のものは予約できません。

※奄美図書館からの取り寄せは、システムの関係上、来館しての手続きが必要です。

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県図一般 書庫A6層 410/ジ93 /8 0112912431 一般図書   在架

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
県図一般 1 0 1

資料詳細

タイトル プログラム検証論
書名カナ プログラム ケンショウロン
シリーズ名 情報数学講座
著者 林 晋 /著  
著者カナ ハヤシ,ススム
出版地 東京
出版者 共立出版
出版者カナ キョウリツ シュッパン
出版年 1995.9
ページ数 211p
大きさ 22cm
シリーズ名 情報数学講座
シリーズ名カナ ジョウホウ スウガク コウザ
叢書巻次 8
一般件名 プログラミング(コンピュータ)
内容紹介 1.プログラムの検証 2.ホーア論理入門 3.形式的理論 4.ホーア論理詳説 5.ホーア論理の数学 6.ダイクストラの検証法 7.古典理論を越えて 8.形式的技法
NDC分類(9版) 007.64
ISBN 4-320-02658-6
定価 ¥3200