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 | 2001 |
|---|
| Lugar | Cambridge, UK, New York, NY, USA |
|---|
| Idioma | inglés |
|---|
| Páginas | 776 |
|---|
| ISBN-10 | 0521806089 |
|---|
| OCLC | 46319659 |
|---|
| LCCN | 2001022303 |
|---|
| Serie | Cambridge tracts in theoretical computer science -- 54. |
|---|
| Número de Cutter | R719c |
|---|