Scalable Techniques for Formal Verification - Sandip Ray - Libros - Springer-Verlag New York Inc. - 9781441959973 - 25 de mayo de 2010
En caso de que portada y título no coincidan, el título será el correcto

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Precio
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 25 de mayo de 2010
ISBN13 9781441959973
Editores Springer-Verlag New York Inc.
Páginas 243
Dimensiones 155 × 235 × 15 mm   ·   539 g
Lengua Inglés  

Mas por Sandip Ray

Mostrar todo

Mere med samme udgiver

Ver todo de Sandip Ray ( Ej. Hardcover Book y Paperback Book )