WebOPAC Local書誌詳細

ログイン

書誌詳細

図書館

前の画面へ戻る

Systematic software development using VDM

Cliff B. Jones ; pbk.. -- Prentice Hall International, 1986. <BB10035360>

(0)

(0)

(0)

(0)

(0)

登録タグ：

登録されているタグはありません

便利機能：

目次・あらすじを見るレビューを見る詳細情報を見る

書誌URL：

Systematic software development using VDM

Cliff B. Jones ; pbk.. -- Prentice Hall International, 1986. <BB10035360>

(0)

(0)

(0)

(0)

(0)

登録タグ：

登録されているタグはありません

便利機能：

目次・あらすじを見るレビューを見る詳細情報を見る

書誌URL：

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

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

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約	WEB書棚
0001	全巻	宇都宮	1F 集密書架和書	007.6/J72	10000233			0件


No.	0001
巻号	全巻
所蔵館	宇都宮
配置場所	1F 集密書架和書
請求記号	007.6/J72
資料ID	10000233
状態
返却予定日
予約	0件
WEB書棚

このページのTOPへ

目次・あらすじ

このページのTOPへ

レビュー

このページのTOPへ

書誌詳細

標題および責任表示

Systematic software development using VDM / Cliff B. Jones

出版・頒布事項

Englewood Cliffs, N.J. ; Tokyo : Prentice Hall International , 1986

形態事項

xvi, 300 p. ; 25 cm

巻号情報

ISBN	0138807256

巻号情報

巻次等	pbk.
ISBN	0138807175

その他の標題

不使用・別形式でのタイトル副出:VDM

注記

Bibliography: p. 294-296

注記

Includes index

学情ID

BA00324276

本文言語コード

英語

著者標目リンク

*Jones, C. B. (Cliff B.), 1944- <AU10018475>

分類標目

LCC:QA76.76.D47

分類標目

DC19:005.1/1

件名標目等

Computer software -- Development

このページのTOPへ

前の画面へ戻る

このページのTOPへ