東海大学蔵書検索

東海大学蔵書検索

検索結果一覧へ戻る

ソフトウェア仕様記述の先進技法-Z言語

B. ポター, J.シンクレア, D.ティル著 ; 田中武二監訳. -- トッパン, 1993. <TW10047543>
登録タグ：
登録されているタグはありません
便利機能：
目次・あらすじを見る レビューを見る 詳細情報を見る
書誌URL：

ソフトウェア仕様記述の先進技法-Z言語

B. ポター, J.シンクレア, D.ティル著 ; 田中武二監訳. -- トッパン, 1993. <TW10047543>
登録タグ：
登録されているタグはありません
便利機能：
目次・あらすじを見る レビューを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 WEB書棚
0001 札　幌 電動和書 549.92/S 0010780371151 配架済
No. 0001
巻号
所蔵館 札　幌
配置場所 電動和書
請求記号 549.92/S
資料ID 0010780371151
状態 配架済
返却予定日
WEB書棚
このページのTOPへ
このページのTOPへ

書誌詳細

標題および責任表示 ソフトウェア仕様記述の先進技法-Z言語 / B. ポター, J.シンクレア, D.ティル著 ; 田中武二監訳
ソフトウェア シヨウ キジュツ ノ センシン ギホウ Z ゲンゴ
出版・頒布事項 東京 : トッパン , 1993.9
形態事項 xiv,321p ; 21cm
巻号情報
ISBN 481018563X
その他の標題 原タイトル:An introduction to formal specificaton and Z
注記 参考文献:p311-313
学情ID BN09833215
本文言語コード 日本語
著者標目リンク Potter, Ben <>
著者標目リンク 田中, 武二
タナカ, タケジ <>
著者標目リンク Sinclair, Jane <>
著者標目リンク Till, David <>
ローカル著者標目 ポター, B.
ローカル著者標目 シンクレア, J.
ローカル著者標目 ティル, D.
分類標目 情報科学 NDC8:007.63
分類標目 NDC7:418.6
ローカル分類標目 NDC:549.9364
ローカル分類標目 LCC:QA76.73
件名標目等 電子計算機||デンシケイサンキ
レコードID TW10047543
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
S

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    この書誌のQRコード