Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: REX Workshop (1989 Mook)
Group Author: Bakker J. W. de; (Jacobus Willem), 1939-; Roever W.-P. de.; Rozenberg Grzegorz.
Published: Springer-Verlag,
Publisher Address: Berlin
Publication Dates: c1990.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 430
Subjects:
Electronic data processing > Distributed processing > Congresses.
Carrier Form: x, 808 p.: ill. ; 25 cm.
ISBN: 3540525599 (Berlin : acid-free paper)
Index Number: TP338
CLC: TP338.8-532
Call Number: TP338.8-53/R432/1989/
Contents: REX : Research and Education in Concurrent Systems
Includes bibliographical references.

Related Book Recommendations