WebOPAC Local書誌詳細

ログイン

書誌詳細

愛知工業大学附属図書館

前の画面へ戻る

	Introduction to the formal design of real-time systems David Gray ; : pbk.. -- Springer, 1999. -- (Applied computing). <BB00008767> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

Introduction to the formal design of real-time systems David Gray ; : pbk.. -- Springer, 1999. -- (Applied computing). <BB00008767> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

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

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

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約
0001	: pbk.	図書館	電動集密洋書	007.64\|\|G	002972990	書架		0件


No.	0001
巻号	: pbk.
所蔵館	図書館
配置場所	電動集密洋書
請求記号	007.64\|\|G
資料ID	002972990
状態	書架
返却予定日
予約	0件

このページのTOPへ

目次・あらすじ

このページのTOPへ

書誌詳細

標題および責任表示

Introduction to the formal design of real-time systems / David Gray

出版・頒布事項

London ; New York : Springer , c1999

形態事項

xiii, 461 p. : ill. ; 24 cm

巻号情報

巻次等	: pbk.
ISBN	3540761403
XISBN	9783540761402

書誌構造リンク

Applied computing <BB00078356>//a

注記

Includes bibliographical references (p. [451]-454) and index

学情ID

BA40281215

本文言語コード

英語

著者標目リンク

*Gray, David, 1946- <>

分類標目

LCC:QA76.54

分類標目

DC21:005.2/73

件名標目等

Real-time data processing

件名標目等

System design

このページのTOPへ

前の画面へ戻る

このページのTOPへ