LEADER 00000nam 2200253 a 4500
001 0969326
007 t
008 000809 2 1990 000 eng
020 3540525599
040 CURLBL
050 4 QA 76.9 D5 S8
110 2 REX Workshop (1989: Mook, The Netherlands)
245 00 Stepwise refinement of distributed systems :|bmodels,
formalisms, correctness : REX Workshop, Mook, The
Netherlands, May 29-June 2, 1989 : proceedings /|cedited
by J.W. de Bakker, W.P. de Roever, G. Rozenberg.
260 Berlin :|bSpringer-Verlag,|c1990.
300 808p.
440 0 Lecture notes in computer science; 430
700 0 Bakker, Jacobus Willem de.
700 0 Roever, W.P. de.
700 0 Rozenberg, G.
946 6XX absent
