Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings - Lecture Notes in Computer Science 430 (Paperback)J. W. de Bakker (editor), Willem-Paul de Roever (editor), Grzegorz Rozenberg (editor), Marek Warpechowski (editor)
- Not available
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 812
Weight: 2500 g
Dimensions: 235 x 155 x 41 mm
Edition: 1990 ed.
You may also be interested in...
Please sign in to write a review