WebOPAC Local書誌詳細

図書館TOP CHOISポータルログイン

書誌詳細

中央大学図書館

前の画面へ戻る

	Coloured petri nets : modelling and validation of concurrent systems Kurt Jensen, Lars M. Kristensen. -- Springer, c2009. <BB01494575> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

Coloured petri nets : modelling and validation of concurrent systems Kurt Jensen, Lars M. Kristensen. -- Springer, c2009. <BB01494575> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

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

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

No.	巻号	CL	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約
0001			院	院	510.78/J54	00028317329			0件


No.	0001
巻号
CL
所蔵館	院
配置場所	院
請求記号	510.78/J54
資料ID	00028317329
状態
返却予定日
予約	0件

このページのTOPへ

目次・あらすじ

このページのTOPへ

書誌詳細

標題および責任表示

Coloured petri nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen

出版・頒布事項

Berlin : Springer , c2009

形態事項

xi, 384 p. : ill. ; 25 cm

巻号情報

ISBN	9783642002830

注記

Includes bibliographical references and index

学情ID

BB00181267

本文言語コード

英語

著者標目リンク

*Jensen, K. (Kurt), 1950- <AU00627416>

著者標目リンク

Kristensen, Lars M. (Lars Michael) <AU00695306>

分類標目

Computer programming, programs & data DC22:005.1015115

分類標目

Mathematics DC15:510.78

件名標目等

Petri nets

このページのTOPへ

前の画面へ戻る

このページのTOPへ