Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science - Warren A. Hunt - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540579601 - 20 de maio de 1994
Caso a capa e o título não sejam correspondentes, considere o título como correto

Warren A. Hunt
Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 5 - 15 de jun

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

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 Inglês  

Mere med samme udgiver

Ver tudo de Warren A. Hunt ( por exemplo Paperback Book )