عنوان
پدید آورنده
موضوع
رده
76.5 .L523
76
.
5
.
L523
کتابخانه
محل استقرار
Linear time, branching time, and partial order in logics and models for concurrency
c1989
Springer-Verlag
"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref
: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
Parallel processing (Electronic computers)►Electronic data processing- Distributed processing
76
.
5
.
L523
