A Roadmap for Formal Property Verification - Pallab Dasgupta - Libros - Springer - 9789048171859 - 19 de octubre de 2010
En caso de que portada y título no coincidan, el título será el correcto

Pallab Dasgupta
A Roadmap for Formal Property Verification Softcover reprint of hardcover 1st ed. 2006 edition

Precio
Mex$ 1.913
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 - 30 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Pallab Dasgupta

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:

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow.

252 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de octubre de 2010
ISBN13 9789048171859
Editores Springer
Páginas 252
Dimensiones 160 × 240 × 14 mm   ·   381 g
Lengua Inglés  

Mas por Pallab Dasgupta

Mostrar todo

Más del mismo editor

Ver todo de Pallab Dasgupta