Home > Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Book Informaton
Author
J. W. Bakker; W. -P. Roever; G. Rozenberg
Series
Lecture Notes in Computer Science
Volume
430
Year of Publication
1990
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
808
Language
EN
ISBN
9783540525592, 9783540470359, 3540525599, 0387525599
ARI Id
1674219810099
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 31 entries
Chapters/Headings | Author(s) | Pages | Info |
1-41 | |||
42-66 | |||
67-93 | |||
94-129 | |||
130-152 | |||
153-179 | |||
180-207 | |||
208-238 | |||
239-266 | |||
267-300 | |||
301-339 | |||
340-360 | |||
361-385 | |||
386-400 | |||
401-413 | |||
414-453 | |||
454-486 | |||
487-518 | |||
519-543 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 31 entries