A Roadmap for Formal Property Verification - Pallab Dasgupta - Libros - Springer-Verlag New York Inc. - 9781402047572 - 5 de julio de 2006
En caso de que portada y título no coincidan, el título será el correcto

Pallab Dasgupta
A Roadmap for Formal Property Verification 2006 edition

Precio
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 de jun. - 3 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:

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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 5 de julio de 2006
ISBN13 9781402047572
Editores Springer-Verlag New York Inc.
Páginas 252
Dimensiones 155 × 235 × 15 mm   ·   621 g

Mere med samme udgiver

Ver todo de Pallab Dasgupta ( Ej. Paperback Book y Hardcover Book )