An edition of Stepwise refinement of distributed systems
(1990)
Stepwise refinement of distributed systems
models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings
by J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, and W. P. De Roever
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 3 featured editions. View all 3 editions?
| Edition | Availability |
|---|---|
1
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science)
May 1990, Springer
Paperback
in English
3540525599 9783540525592
|
zzzz
Libraries near you:
WorldCat
|
2
Stepwise refinement of distributed systems: models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings
1990, Springer-Verlag
in English
3540525599 9783540525592
|
aaaa
Libraries near you:
WorldCat
|
3
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings (Lecture Notes in Computer Science)
June 1990, Springer
in English
0387525599 9780387525594
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Published in
Berlin, New York
Edition Notes
Includes bibliographical references.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 1, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 7, 2022 | Edited by ImportBot | import existing book |
| July 1, 2022 | Edited by ImportBot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| November 11, 2020 | Edited by MARC Bot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record. |