عنوان
پدید آورنده
موضوع
رده
QA 76 .5 .L523 1989
QA
76
.
5
.
L523
1989
کتابخانه
محل استقرار
90536
آخر۲۷
English
)20(
Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
Berlin, New York
Springer-Verlag
1989
viii, 713 p. : ill. ; 25 cm
Lecture notes in computer science, 453
"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref
Includes bibliographical references
، Parallel processing )Electronic computers(
، Electronic data processing-- Distributed processing
QA
76
.
5
.
L523
1989
TI
J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds
AU rekkaB 1939-
CO Roever
CO Rozenberg
CO School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, Netherla
SE
02
