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 | 2021 |
| Idioma | inglés |
| ISBN-13 | 9780511583902 |
| Número de Cutter | B787f |