神奈川工科大学附属図書館
ログイン

神奈川工科大学附属図書館

前の画面へ戻る

Proof in VDM : a practitioner's guide

by Juan C. Bicarregui ... [et al.] ; : us, : gw. -- Springer-Verlag, 1993. -- (Formal approaches to computing and information technology (FACIT)). <BB00111050>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

Proof in VDM : a practitioner's guide

by Juan C. Bicarregui ... [et al.] ; : us, : gw. -- Springer-Verlag, 1993. -- (Formal approaches to computing and information technology (FACIT)). <BB00111050>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

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

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 図書館 2階書架 007.63||P 120197447 0件
No. 0001
巻号
所蔵館 図書館
配置場所 2階書架
請求記号 007.63||P
資料ID 120197447
状態
返却予定日
予約 0件
このページのTOPへ

書誌詳細

標題および責任表示 Proof in VDM : a practitioner's guide / by Juan C. Bicarregui ... [et al.]
出版・頒布事項 London ; New York : Springer-Verlag , c1994
形態事項 xvi, 362 p. ; 24 cm
巻号情報
ISBN 038719813X
巻号情報
ISBN 354019813X
巻号情報
巻次等 : us
巻号情報
巻次等 : gw
書誌構造リンク Formal approaches to computing and information technology (FACIT) <BA2187111X>//a
注記 Includes bibliographical references andindex
学情ID BA21870999
本文言語コード 英語
著者標目リンク Bicarregui, Juan Carlos, 1962- <NC:DA08048587>
分類標目 LCC:QA76.76.D47
分類標目 DC20:005.1/2
件名標目等 Computer software -- Development
件名標目等 Automatic theorem proving
件名標目等 System design
このページのTOPへ
前の画面へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    この書誌のQRコード