Scalable Techniques for Formal Verification - Sandip Ray - Livros - Springer-Verlag New York Inc. - 9781489984449 - 19 de outubro de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Scalable Techniques for Formal Verification 2010 edition

Sandip Ray

Preço
€ 135,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 24 de fev - 5 de mar

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

Também disponível como:

Scalable Techniques for Formal Verification 2010 edition

This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware.

243 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 19 de outubro de 2014
ISBN13 9781489984449
Editoras Springer-Verlag New York Inc.
Páginas 243
Dimensões 155 × 235 × 14 mm   ·   367 g
Idioma English  
Mostrar tudo

Mais por Sandip Ray

Ver tudo de Sandip Ray ( por exemplo Hardcover Book e Paperback Book )