Scalable Techniques for Formal Verification - Sandip Ray - Libros - Springer-Verlag New York Inc. - 9781489984449 - 19 de octubre de 2014
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
€ 104,49

Pedido desde almacén remoto

Entrega prevista 15 - 23 de jun.

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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de octubre de 2014
ISBN13 9781489984449
Editores Springer-Verlag New York Inc.
Páginas 243
Dimensiones 155 × 235 × 14 mm   ·   367 g
Lengua Inglés  

Mere med samme udgiver

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