Concurrency verification
introduction to compositional and noncompositional methods
Edición de la obra Concurrency verification
introduction to compositional and noncompositional methods
Edición de la obra Concurrency verification
| Editorial | Cambridge University Press |
|---|
| Fecha de publicación | January 15, 2001 |
|---|
| Idioma | inglés |
|---|
| Páginas | 798 |
|---|
| Formato | Hardcover |
|---|
| ISBN-13 | 9780521806084 |
|---|
| ISBN-10 | 0521806089 |
|---|
| Número de Cutter | R719c |
|---|