«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Roadmap for Formal Property Verification

Idioma InglésInglés
Libro Tapa blanda
Libro Roadmap for Formal Property Verification Pallab Dasgupta
Código Libristo: 01975380
Editores Springer, octubre 2010
Integrating formal property verification (FPV) into an existing design process raises several intere... Descripción completa
? points 249 b
101.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

La Responsabilité Médicale: La Réparation Hatim Souktani / Libro Tapa blanda
common.buy 56.29 €
Operaciones de caja en la venta. Refuerzo IPA0040 CRUZADO REVILLA / Libro Tapa blanda
common.buy 13.49 €
Rama Gentry / Libro Tapa blanda
common.buy 29.89 €
Theoretische Ansatze der Marketingwissenschaft Dirk Lippold / Libro Tapa blanda
common.buy 14.19 €
Jetzt wird gesnackt! Ute-Marion Wilkesmann / Libro Tapa blanda
common.buy 15.89 €
Frankfurter Sagenbuch Karl Enslin / Libro Tapa blanda
common.buy 35.29 €
Ritter Unterwegs Und Die Pflege Der Gastfreundschaft Im Alten Frankreich Hugo Oschinsky / Libro Tapa blanda
common.buy 30.59 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Roadmap for Formal Property Verification
Autor Pallab Dasgupta
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 252
EAN 9789048171859
ISBN 9048171857
Código Libristo 01975380
Editores Springer
Peso 434
Dimensiones 160 x 240 x 15

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Electrónica: circuitos y componentes
Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología: cuestiones generales > Ingeniería: general
Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología e ingeniería energética > Ingeniería eléctrica
Computación e informática > Aplicaciones gráficas y multimedia > Diseño asistido por ordenador (CAD)
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Raising Drug Addicts Robert Mitchell / Libro Tapa dura
common.buy 31.29 €
Gymnasium CF (Christopher) Forgues / Libro Tapa blanda
common.buy 32.09 €
Popcorn Ideas for Women Groups Hampton Shirley Hampton / Libro Tapa blanda
common.buy 16.09 €
The Life And Works Of Goethe: With Sketches Of His Age And Contemporaries V1 G. H. Lewes / Libro Tapa blanda
common.buy 39.69 €
Economic History of a Divided Europe Ivan T. Berend / Libro Tapa dura
common.buy 253.59 €
Nitra City guide / Libro Tapa blanda
common.buy 6.79 €
Polyvinylpyrrolidone Excipients for Pharmaceuticals Volker Bühler / Libro Tapa blanda
common.buy 109.49 €
First Generation Singular: Reactions to Living in Post-Holocaust Germany: in Poetry and Prose Shirlee Sky Hoffman / Libro Tapa blanda
common.buy 6.99 €
Kiss The Little You Goodbye Sophia Burrell / Libro Tapa blanda
common.buy 11.39 €
Forgery Ave Barrera / Libro Tapa blanda
common.buy 11.59 €
Market Operations in Electric Power Systems - Forecasting, Scheduling and Risk Management Mohammad Shahidehpour / Libro Tapa dura
common.buy 206.29 €
Universe in Your Hand Christophe Galfard / Libro Tapa blanda
common.buy 12.49 €
1,227 Quite Interesting Facts to Blow Your Socks Off John Lloyd / Libro Tapa dura
common.buy 14.59 €
Literacy and Democracy in Fifth-Century Athens Anna Missiou / Libro Tapa dura
common.buy 85.59 €
GOBEKLI TEPE & KARAHAN TEPE WORLDS FIRST NEWMAN HUGH / Libro Tapa blanda
common.buy 7.99 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?