Conte aos seus amigos sobre este item:
Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition
Warren A. Hunt
Preço
zł 203,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 22 - 28 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition
Warren A. Hunt
The FM 8501 microprocessor was created to express user-level specifications and design implementations using a formal logic. The author of this monograph explains how its original implementation model, although inadequate for hardware design, inspired his own verification methodology.
342 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 20 de maio de 1994 |
| ISBN13 | 9783540579601 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 342 |
| Dimensões | 156 × 234 × 18 mm · 498 g |
| Idioma | English |
Ver tudo de Warren A. Hunt ( por exemplo Paperback Book )