このページのリンク

Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
(Lecture notes in computer science ; 430)

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1990
本文言語 英語
大きさ x, 808 p. ; 25 cm

所蔵情報を非表示

書庫2階 QA:76.9:D5:S75:1990

000108399

書誌詳細を非表示

著者標目 REX Workshop (1989 : Mook, The Netherlands)
Bakker, Jacobus Willem de, 1939-
Roever, W.-P. de, 1943-
Rozenberg, Grzegorz
件 名 LCSH:Electronic data processing -- Distributed processing -- Congresses  全ての件名で検索
分 類 LCC:QA76.9.D5
DC20:004/.36
巻冊次 : gw ; ISBN:3540525599 REFWLINK
: us ; ISBN:0387525599 REFWLINK
ISBN 3540525599
NCID BA10176266 WCLINK
目次/あらすじ

 類似資料