資料詳細

B.ポター 〔ほか〕著 -- トッパン -- 1993.9 -- 007.63

所蔵

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

資料コード 請求記号 所蔵館 所蔵場所 資料区分 状態
103165999 /549.9/1225/ 県立図書館 書庫2層 和書
状態の表記について
   在:「所蔵場所」にあります。
   貸出中:館外へ貸出中です。

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

タイトル ソフトウェア仕様記述の先進技法-Z言語
著者 B.ポター 〔ほか〕著 , 田中 武二 監訳  
出版者 東京  トッパン
出版年 1993.9
ページ数 321p
大きさ 21cm
翻訳原書名注記 原書名:An introduction to formal specification and Z
内容細目注記 文献:p311~313
一般件名 ソフトウェア
NDC分類 007.63
ISBN 4-8101-8563-X
本体価格 ¥4660