FM8501 - a verified microprocessor
- Författare
- Warren A. Hunt, jr
- (Warren A. Hunt, Jr.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1994 | Tyskland, Berlin, New York | 333 sidor. |