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
€ 111,49

Pedido desde almacén remoto

Entrega prevista 21 de jul. - 4 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Sandip Ray

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

Aún no valorado

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

Más del mismo editor

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