Formal Reasoning About Distributed Algorithms
Edición de la obra Formal Reasoning About Distributed Algorithms
| Autor | Marina Waldén |
|---|---|
| Editorial | Turku Centre for Computer Science |
| Fecha de publicación | 1998 |
| Lugar | Turku |
| Idioma | inglés |
| ISBN-10 | 9521202548 |
| OCLC | 40838243 |
| Serie | TUCS dissertations -- no. 10, September 1998 |
| Número de Cutter | W162f |