عنوان
پدید آورنده
موضوع
رده
QA76.5 .L523 1989
QA76
.
5
.
L523
1989
کتابخانه
محل استقرار
038751080X (U.S. : alk. paper)
354051080X
9780387510804 (U.S. : alk. paper)
9783540510802
dnb
b433656
Linear time, branching time, and partial order in logics and models for concurrency :
[Book]
School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 /
J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
New York :
Springer-Verlag,
c1989.
viii, 713 p. :
ill. ;
25 cm.
Lecture notes in computer science ;
354
"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.
Mode of access: World Wide Web.
Linear time, branching time, and partial order in logics and models for concurrency.
Electronic data processing-- Distributed processing.
Parallel processing (Electronic computers)
004/
.
35
20
QA76
.
5
.
L523
1989
Bakker, J. W. de, (Jacobus Willem),1939-
Roever, W.-P. de,1943-
Rozenberg, Grzegorz.
School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency(1988 :, Noordwijkerhout, Netherlands)
20120212081254.0
مطالعه متن کتاب [Book]
Y
