このページのリンク

Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 revised tutorial lectures / Franck Cassez ... (eds.).
(Lecture notes in computer science ; 2067)

データ種別 図書
出版者 Berlin : Springer
出版者 New York
出版年 c2001.
大きさ x, 222 p. : ill. ; 24 cm.
目次/あらすじ

所蔵情報を非表示

V.2067 ASRS(自動化書庫) 007.6/L507/v.2067 05738268
3540427872

書誌詳細を非表示

一般注記 "Tutorial"--Cover.
Includes bibliographical references and index.
著者標目 MOVEP 2000((2000)
Cassez, Franck,(1967-)
件 名 Parallel processing (Electronic computers)
分 類 NDC:007.6
書誌ID 1000259112
ISBN 3540427872
NCID BA54313896 WCLINK
URL1 Publisher HP

 類似資料