عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2067
QA
76
.
L28
Vol
.
2067
کتابخانه
محل استقرار
Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000
2000 : Nantes, France
Berlin
Springer-Verlag
c2001
x, 222 p.: ill., tables
Lecture notes in computer science; 7602
Includes bibliographies
ISBN: 3540427872
Franck Cassez ... )eds.(
1
Congresses ، Parallel processing )Electronic computers(
QA
76
.
L28
Vol
.
2067
AU
AU Cassez, Franck, 1967-
TI
SE
MOVEP
