Stepwise refenement of destributed systems models formalisms corretness

Editor

I. W. de Bakker^W. P. de Roever ¶ G. Rozenbag eds

Publication

Springer

Publication Year

c1990

Collation

808p

Series

lecture notes in conputer science, 430

Bibliography

Includes bibliographies

Subject

Distributed data bases

ADDED ENTRIES

Bakker, J. W. de., ed , ^dSeries: lecture notes in conputer science, 430

Main Class

003

Sub Class

.78

Cutter no

S837

وارد كنندة اطلاعات

fazel^d//

Link To Document