-
RecordNumber
50713
-
Title
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 :
