Lecture notes on formal specifications for digital systems
- Författare
- Neil Harman
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer Systems, Uppsala Univ. | 1990 | Sverige, Uppsala | [29] sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer Systems, Uppsala Univ. | 1990 | Sverige, Uppsala | [29] sidor. |