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
|