Current Trends in Hardware Verification and Automated Theorem Proving - Graham Birtwistle - Livros - Springer-Verlag New York Inc. - 9781461281955 - 17 de setembro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Graham Birtwistle
Current Trends in Hardware Verification and Automated Theorem Proving Softcover reprint of the original 1st ed. 1989 edition

Preço
R$ 568,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Graham Birtwistle

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

Ainda não avaliado

Their idea was to model Viper in a sequence of decreasingly abstract levels, each of which concentrated on some aspect ofthe design, such as the flow ofcontrol, the processingofinstructions, and so on. That is, each model would be a specification of the next (less abstract) model, and an implementation of the previous model (if any).

489 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 17 de setembro de 2011
ISBN13 9781461281955
Editoras Springer-Verlag New York Inc.
Páginas 489
Dimensões 155 × 235 × 25 mm   ·   698 g
Idioma Inglês  
Editor Birtwistle, Graham
Editor Subrahmanyam, P.A.

Mais por Graham Birtwistle

Mostrar tudo

Mais da mesma editora

Ver tudo de Graham Birtwistle