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 (Lecture Notes in Computer Science)
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
| Edition | Availability |
|---|---|
1
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
|
2
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
|
aaaa
Libraries near you:
WorldCat
|
3
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
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"The transition-axiom method specifies concurrent systems by a combination of abstract programs and temporal logic [Lam89]."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| October 4, 2021 | Edited by ImportBot | import existing book |
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL18317707W |
| February 5, 2019 | Created by MARC Bot | import existing book |