Artículos relacionados a A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification - Tapa dura

 
9781402047572: A Roadmap for Formal Property Verification

Sinopsis

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. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

The author leads the Formal Verification Group at the Indian Institute of Technology, Kharagpur (http://www.facweb.iitkgp.ernet.in/~pallab/forverif.html). He has collaborations with leading companies, including Intel, Sun Microsystems, Synopsys, Texas Instruments, National Semiconductors, General Motors, Interra Systems and Virtio Corp, on developing formal methods for design verification. The author is a senior member of IEEE.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Como Nuevo
Like NewLIKE NEW
Ver este artículo

EUR 28,90 gastos de envío desde Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

GRATIS gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9789048171859: A Roadmap for Formal Property Verification

Edición Destacada

ISBN 10:  9048171857 ISBN 13:  9789048171859
Editorial: Springer, 2010
Tapa blanda

Resultados de la búsqueda para A Roadmap for Formal Property Verification

Imagen de archivo

Dasgupta P.
Publicado por Springer, 2006
ISBN 10: 1402047576 ISBN 13: 9781402047572
Nuevo Tapa dura

Librería: Basi6 International, Irving, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-166792

Contactar al vendedor

Comprar nuevo

EUR 32,35
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 9 disponibles

Añadir al carrito

Imagen de archivo

Dasgupta, Pallab
Publicado por Springer, 2006
ISBN 10: 1402047576 ISBN 13: 9781402047572
Nuevo Tapa dura

Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-73631

Contactar al vendedor

Comprar nuevo

EUR 32,35
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Dasgupta, Pallab
Publicado por Springer, 2006
ISBN 10: 1402047576 ISBN 13: 9781402047572
Nuevo Tapa dura

Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Nº de ref. del artículo: ASNT3-73631

Contactar al vendedor

Comprar nuevo

EUR 33,78
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Dasgupta, Pallab
Publicado por Springer, 2006
ISBN 10: 1402047576 ISBN 13: 9781402047572
Nuevo Tapa dura

Librería: ALLBOOKS1, Direk, SA, Australia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Brand new book. Fast ship. Please provide full street address as we are not able to ship toPOboxaddress. Nº de ref. del artículo: SHUB166792

Contactar al vendedor

Comprar nuevo

EUR 39,12
Convertir moneda
Gastos de envío: GRATIS
De Australia a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

DASGUPTA PALLAB
Publicado por Springer, 2006
ISBN 10: 1402047576 ISBN 13: 9781402047572
Nuevo Tapa dura

Librería: Basi6 International, Irving, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-356264

Contactar al vendedor

Comprar nuevo

EUR 62,95
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Dasgupta, Pallab
Publicado por Springer, 2006
ISBN 10: 1402047576 ISBN 13: 9781402047572
Nuevo Tapa dura

Librería: ALLBOOKS1, Direk, SA, Australia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Brand new book. Fast ship. Please provide full street address as we are not able to ship toPOboxaddress. Nº de ref. del artículo: SHUB356264

Contactar al vendedor

Comprar nuevo

EUR 74,73
Convertir moneda
Gastos de envío: GRATIS
De Australia a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

0
Publicado por Springer, 2006
ISBN 10: 1402047576 ISBN 13: 9781402047572
Nuevo Tapa dura

Librería: Basi6 International, Irving, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-166793

Contactar al vendedor

Comprar nuevo

EUR 90,93
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Dasgupta, Pallab
Publicado por Springer, 2006
ISBN 10: 1402047576 ISBN 13: 9781402047572
Nuevo Tapa dura

Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-81864

Contactar al vendedor

Comprar nuevo

EUR 90,93
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Dasgupta, Pallab
Publicado por Springer, 2006
ISBN 10: 1402047576 ISBN 13: 9781402047572
Antiguo o usado Tapa dura

Librería: Mispah books, Redhill, SURRE, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Like New. Like NewLIKE NEW. book. Nº de ref. del artículo: ERICA83814020475763

Contactar al vendedor

Comprar usado

EUR 67,86
Convertir moneda
Gastos de envío: EUR 28,90
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Dasgupta, Pallab
Publicado por Springer, 2006
ISBN 10: 1402047576 ISBN 13: 9781402047572
Nuevo Tapa dura

Librería: Best Price, Torrance, CA, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9781402047572

Contactar al vendedor

Comprar nuevo

EUR 96,13
Convertir moneda
Gastos de envío: EUR 7,66
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Existen otras 7 copia(s) de este libro

Ver todos los resultados de su búsqueda