عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1043
QA
76
.
L28
Vol
.
1043
کتابخانه
محل استقرار
Logics for concurrency : structure versus automata
Faron Moller, Graham Birtwistle )eds.(
Berlin
Springer-Verlag
c1996
xi, 266 p. : ill
Lecture notes in computer science; 3401
Includes bibliographies
ISBN 3540609156
1
، Electronic data processing -- Distributed processing
، Parallel processing )Electronic computers(
QA
76
.
L28
Vol
.
1043
CA
004/
.
36/015113
TI
AU Moller, Faron, 1962-
AU Birtwistle, Graham M.
SE
