Compositional verification of distributed systems
- Författare
- Bengt Jonsson
- (Bengt Jonsson.)
- Genre
- theses
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Direkt offset, Nyström & Co. | 1987 | Sverige, Uppsala, Uppsala | 142 sidor. 23 cm |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Direkt offset, Nyström & Co. | 1987 | Sverige, Uppsala, Uppsala | 142 sidor. 23 cm |