Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Edición de la obra Formal Methods for Distributed Processing
| Autor | Howard Bowman, John Derrick |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| Páginas | 492 |
| ISBN-13 | 9780521168755 |
| Número de Cutter | B787f |