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, editors.
By: REX Workshop (1989 : Mook, The Netherlands).
Contributor(s): De Bakker, J. W | De Roever, W. P | Rozenberg, G.
Material type:
BookSeries: Lecture notes in computer science ; 430. Publisher: Berlin : Springer-Verlag, c1990Description: vi, 807 p. : ill.ISBN: 3540525599.Subject(s): Electronic data processing -- Distributed processing
No physical items for this record
There are no comments for this item.