Formal System Verification - - Livros - Springer International Publishing AG - 9783319576831 - 3 de julho de 2017
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal System Verification 1st ed. 2018 edition

Preço
R$ 684,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 23 - 29 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

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).

182 pages, 49 Illustrations, color; 22 Illustrations, black and white; XVI, 182 p. 71 illus., 49 ill

Mídia Livros     Book
Lançado 3 de julho de 2017
ISBN13 9783319576831
Editoras Springer International Publishing AG
Páginas 182
Dimensões 150 × 220 × 20 mm   ·   458 g
Idioma Alemão  
Editor Drechsler, Rolf

Mere med samme udgiver