Design and validation of computer protocols
- Författare
- Gerard J Holzmann
- (Gerard J. Holzmann.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Prentice Hall | cop. 1991 | USA, Englewood Cliffs, N.J | 500 sidor. |