資料詳細

形式手法教科書 ( Ｉ／Ｏ　ｂｏｏｋｓ ) 貸出可

赤間世紀／著 -- 工学社 -- ２０１２．１１ -- 007.63

所蔵

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
熊谷	貸閲公開	/007.63/ｹｲ/	102633104	一般和書	帯出可	在館中

※外部書庫の資料につきましては取り寄せとなるため、お時間がかかります。
※帯出区分が「禁帯出」、「禁帯保存」の資料については取り寄せできるものもあります。所蔵館にお問い合わせください。

館名	所蔵数	貸出中数	貸出可能数
熊谷	1	0	1

タイトル	形式手法教科書
書名カナ	ケイシキ　シュホウ　キョウカショ
副書名	「論理学」を用いた、「ソフト工学」への数学的アプローチ
副書名カナ	ロンリガク　オ　モチイタ　ソフト　コウガク　エノ　スウガクテキ　アプローチ
叢書名	Ｉ／Ｏ　ｂｏｏｋｓ
叢書名カナ	アイオー　ブックス
著者	赤間世紀／著
著者カナ	アカマ，セイキ
出版者	工学社
出版年	２０１２．１１
ページ数	２２３ｐ
大きさ	２１ｃｍ
一般件名	ソフトウェア工学
NDC分類(9版)	007.63
ISBN	4-7775-1723-3
特定資料種別	一般和書