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

Scalable Techniques for Formal Verification 2010 edition

Sandip Ray

Precio
€ 127,99

Pedido desde almacén remoto

Entrega prevista 28 de mar. - 8 de abr.

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:

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

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 English  
Mostrar todo

Mas por Sandip Ray

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