TY  - BOOK
A1  - J. W. de Bakker, W.-P. de Roever, G. Rozenberg )eds.(
TI  - Stepwise refinement of distributed systems: models, formalisms correctness: REX Workshop, Mook, the Netherlands, May 29-June 2, 1989: proceedings
PB  - کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان
SN  - 104739121
UR  /book/104739121/Stepwise-refinement-of-distributed-systems-models/
ER  -