このページのリンク

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

データ種別 図書
出版者 Berlin : Springer
出版年 c2001
本文言語 英語
大きさ x, 222 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.5:M69:2000
3540427872 003484128

書誌詳細を非表示

一般注記 Includes bibliographical references and index
"Tutorial"--Cover
著者標目 *MOVEP (4th : 2000 : Nantes, France)
Cassez, Franck, 1967-
Jard, Claude
Rozoy, Brigitte
Ryan, Mark Dermot
件 名 LCSH:Parallel processing (Electronic computers)
分 類 LCC:QA76.5
巻冊次 ISBN:3540427872 REFWLINK
ISBN 3540427872
NCID BA54313896 WCLINK
目次/あらすじ

 類似資料