Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings
J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
Bok Engelsk 1990 REX Workshop
| Utgitt | Berlin : Springer-Verlag , c1990
|
|---|---|
| Omfang | X, 808 s. : ill.
|
| Emner | |
| ISBN | 0387525599. - 3540525599
|
