Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries