---

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. : ill. ; 25 cm
著者標目	Bakker, Jacobus Willem de, 1939- Rozenberg, Grzegorz Roever, W.-P. de, 1943- REX Workshop (1989 : Mook, the Netherlands)
件　名	Electronic data processing -- Distributed processing -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:004/.36 LCC:QA76.9.D5
書誌ID	LT00316548

 類似資料