Time and probability in formal design of distributed systems
- Författare
- Hans A. Hansson
- (Hans A. Hansson with contributions by Lars-Åke Fredlund.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Elsevier | 1994 | Nederländerna, Amsterdam | xxv, 304 sidor. ill. | |
| Graphic Systems | 1991 | Sverige, Uppsala, Malmö | 192 sidor. diagr., tab. 24 cm |