FM8501 : a verified microprocessor / Warren A. Hunt, Jr
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Hunt, Warren A. <1958- >
|
| Titolo: |
FM8501 : a verified microprocessor / Warren A. Hunt, Jr
|
| Pubblicazione: | Berlin [etc.] : Springer, c1994 |
| Descrizione fisica: | XIII, 333 p. ; 24 cm |
| Disciplina: | 621.39 |
| 621.392 | |
| Soggetto topico: | Microprocessori FM8501 |
| Titolo autorizzato: | FM8501 |
| ISBN: | 0387579605 |
| 3540579605 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | AQ10007109 |
| Lo trovi qui: | Univ. del Sannio |
| Collocazione: | 02COLL. ING LNAI |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in computer science / edited by G. Goos and J. Hartmanis , . Lecture notes in artificial intelligence ; 795