Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Sale price
$98.99
Regular price $109.99
Skip to product information
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Sale price
$98.99
Regular price $109.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
Stepwise Refinement of Distributed Systems
Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Jaco W. de Bakker | Willem-Paul de Roever | Grzegorz Rozenberg
Computers / Computer Architecture
This proceedings volume surveys the state of the art in concurrent program specification, verification, and the theory of their refinement. The world's leading specialists in these areas present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented.
| Publication Date: | 25 April 1990 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540525592 |
| Format: | Paperback / softback |
| Page Count: | 812 |