Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings (Lecture Notes in Computer Science)
June 1990, Springer
in English
0387525599 9780387525594
|
aaaa
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
|
zzzz
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]."
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 29, 2008
- 4 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 30, 2019 | Edited by MARC Bot | associate edition with work OL18317707W |
April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |