Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures
Franck Cassez ... [et al] (eds.)
Bok Engelsk 2001 MOVEP 2000
| Utgitt | Berlin : Springer , c2001
|
|---|---|
| Omfang | X, 222 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540427872
|
