東海大学蔵書検索

東海大学蔵書検索

前の画面へ戻る

Introduction to formal specification and Z

pbk. / Ben Potter, Jane Sinclair, David Till ; pbk.. -- 2nd ed. -- Prentice Hall, 1996. -- (Prentice-Hall International series in computer science). <BB78134016>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

Introduction to formal specification and Z

pbk. / Ben Potter, Jane Sinclair, David Till ; pbk.. -- 2nd ed. -- Prentice Hall, 1996. -- (Prentice-Hall International series in computer science). <BB78134016>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

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

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

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

書誌詳細

標題および責任表示 Introduction to formal specification and Z ; pbk. / Ben Potter, Jane Sinclair, David Till
INTRODUCTION
版事項 2nd ed
出版・頒布事項 London ; Tokyo : Prentice Hall, 1996
形態事項 xiv, 434 p. : ill. 24 cm
巻号情報
巻次等 pbk.
ISBN 0132422077
書誌構造リンク Prentice-Hall International series in computer science <>//a
注記 Includes bibliographical references and index.
学情ID BA28066304
本文言語コード 英語
著者標目リンク Ben Potter
POTTER <>
著者標目リンク Jane Sinclair
SINCLAIR <>
著者標目リンク David Till
TILL <>
分類標目 NDC:549.92
レコードID BB78134016
このページのTOPへ
前の画面へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    この書誌のQRコード