Specification and verification of concurrent systems

RecordNumber
43274
Title
Specification and verification of concurrent systems
Author Statement
C. Rattray. ed
Publication
Springer
Publication Year
[c1990]
Collation
viii, 612 p.: diagrs
Series
Workshops in computing
Subject
Parallel procossing (Electronic computers)
ADDED ENTRIES
Rattray, Charles, ed
Main Class
004
Sub Class
.35
Cutter no
S741
وارد كنندة اطلاعات
^d//
Link To Document :
https://lib.ui.ac.ir/dL/search/default.aspx?Term=43274&Field=0&DTC=2