Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

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

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 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Formal System Verification

Name: Formal System Verification
Brand: Springer International Publishing AG
SKU: 16106137
Price: 135.29 EUR
Availability: InStock
Author: Rolf Drechsler
ISBN: 9783319576831

Rolf Drechsler

Idioma

Inglés

Libro Tapa dura

Código Libristo: 16106137

Editores Springer International Publishing AG, julio 2017

This book provides readers with a comprehensive introduction to the formal verification of hardware... Descripción completa

Código Libristo: 16106137

331 b

135.29 €

Almacenamiento externo Envío en 10-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Contes Allemands 2e Edition SIMROCK-K

Tapa blanda

23.39 €

Die Luftschiffahrt Nach Ihrer Geschichtlichen Und Gegenwärtigen Entwickelung Alfred Hildebrandt

Tapa dura

38.69 €

Le nouveau Sésame - Cahier d'écriture EB1 Eid

Tapa blanda

7.49 €

DON IMPURO,EL CILLERUELO

Libro

9.79 €

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.