Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /

Bibliographic Details
Other Authors:	Bakker, J. W. de (Jacobus Willem), 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1990]
Series:	Lecture notes in computer science ; 430.
Subjects:	Electronic data processing > Distributed processing > Congresses.

Remote Storage