資料詳細

【図書】ソフトウェア仕様記述の先進技法－Ｚ言語

Ｂ．ポター　〔ほか〕著 -- トッパン -- １９９３．９ -- 007.63

所蔵

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

資料コード	請求記号	所蔵館	所蔵場所	資料区分	状態
103165999	/549.9/1225/	県立図書館	書庫２層	和書	在

状態の表記について
   在：「所蔵場所」にあります。
   貸出中：館外へ貸出中です。

   館内閲覧：館内でご利用ください。館外貸出はできません。
   図書館用：館内でご利用ください。図書館（団体）向けに貸し出す資料です。

タイトル	ソフトウェア仕様記述の先進技法－Ｚ言語
著者	Ｂ．ポター　〔ほか〕著 , 田中　武二　監訳
出版者	東京　トッパン
出版年	１９９３．９
ページ数	３２１ｐ
大きさ	２１ｃｍ
翻訳原書名注記	原書名：Ａｎ　ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｆｏｒｍａｌ　ｓｐｅｃｉｆｉｃａｔｉｏｎ　ａｎｄ　Ｚ
内容細目注記	文献：ｐ３１１～３１３
一般件名	ソフトウェア
NDC分類	007.63
ISBN	4-8101-8563-X
本体価格	￥４６６０