Concurrency verification : introduction to compositional and noncompositional methods
Willem-Paul de Roever ... [et al.]
Bok Engelsk 2001
| Annen tittel | |
|---|---|
| Utgitt | Cambridge : Cambridge University Press , c2001
|
| Omfang | xxii, 776 s. : ill.
|
| Emner | |
| ISBN | 0521806089
|
