Stepwise Refinement Of Distributed Systems: Models, Formalisms, Correctness: Rex Workshop, Mook, The Netherlands, May 29 June 2, 1989: Proceedings
Format: paperback
ISBN:
9783540525592 (3540525599)
Publish date: April 25th 1990
Publisher: Springer
Edition language: English