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//