«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.

Abstraction Refinement for Large Scale Model Checking

Idioma InglésInglés
Libro Tapa dura
Libro Abstraction Refinement for Large Scale Model Checking Chao Wang
Código Libristo: 05247797
Editores Springer-Verlag New York Inc., julio 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Descripción completa
? points 290 b
118.29 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Política de devolución de 30 días

Clientes que también han comprado

La Riviera de Charles Garnier Michel / Libro Tapa blanda
common.buy 13.79 €
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Libro Tapa blanda
common.buy 29.49 €
Apreciatividad Laura Isanta / Libro Tapa blanda
common.buy 18.09 €
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Libro Tapa blanda
common.buy 24.89 €
El Libro de los Mundos Sheyla Preve / Libro Tapa blanda
common.buy 11.79 €
Järjestelmävirhe / Libro Tapa dura
common.buy 29.39 €
Demokratisierung der Raumplanung. Peter Knoepfel / Libro Tapa blanda
common.buy 87.79 €
Les 25 plus belles balades faciles de la Haute Corse Quilici / Libro Tapa blanda
common.buy 12.49 €
BELLEZA Y DESOLACIÓN / Libro Tapa blanda
common.buy 21.09 €
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Libro Tapa blanda
common.buy 10.69 €
5-3-1 Methode Dr. Martin Sewer / Libro Tapa blanda
common.buy 16.79 €
Griechische Metallpanzer Arnold Hagemann / Libro Tapa blanda
common.buy 26.69 €
Anbau von Heidelbeeren und Cranberries Georg Ebert / Libro Tapa dura
common.buy 29.59 €
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Libro Tapa blanda
common.buy 14.89 €
Taschenbuch der Mathematik Helmut Wörle / Libro Tapa dura
common.buy 118.39 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Libro Tapa blanda
common.buy 16.09 €
Alles für den Schein Rudolf Inderst / Libro Tapa blanda
common.buy 88.39 €
Lara's Theme Detlef Wolf / Libro Tapa blanda
common.buy 20.09 €
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Libro Tapa blanda
common.buy 57.29 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Libro Tapa blanda
common.buy 57.39 €
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Libro Tapa blanda
common.buy 47.59 €

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.§

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 Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang, Gary D. Hachtel, Fabio Somenzi
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2006
Número de páginas 179
EAN 9780387341552
ISBN 0387341552
Código Libristo 05247797
Editores Springer-Verlag New York Inc.
Peso 1000
Dimensiones 155 x 235 x 16

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)
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

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Libro Tapa blanda
common.buy 10.09 €
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Libro Tapa blanda
common.buy 13.29 €
Popular
The Journey from Abandonment to Healing Susan Anderson / Libro Tapa blanda
common.buy 16.59 €
Handbook of Dramatherapy Sue Jennings / Libro Tapa dura
common.buy 172.99 €
Interface Oral Health Science 2016 Keiichi Sasaki / Libro Tapa dura
common.buy 55.49 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Libro Tapa blanda
common.buy 10.59 €
Caleb's Reading Log Martha Day Zschock / Libro Tapa blanda
common.buy 8.79 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Libro Tapa dura
common.buy 34.79 €
Deepening Your Marriage Jilene Scherbenske / Libro Tapa blanda
common.buy 15.89 €
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Libro Tapa blanda
common.buy 32.79 €
Wild Justice Kelley Armstrong / Libro Tapa blanda
common.buy 13.79 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Libro Tapa blanda
common.buy 17.79 €
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Libro Tapa blanda
common.buy 87.79 €
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Libro Tapa dura
common.buy 405.09 €
Waterville Phyllis Witzler / Libro Tapa dura
common.buy 25.79 €
Catalogue of a Large Collection of Antient and Modern Coins and Medals, in Gold, Silver, and Copper, Consisting of Phoenician, Etruscan, Greek, Roman, MR. GERARD / Libro Tapa dura
common.buy 27.89 €
Rethinking Social Action through Music GEOFFREY BAKER / Libro Tapa blanda
common.buy 52.19 €
MLK: An American Legacy David J. Garrow / Libro electrónico Adobe ePub DRM
common.buy 13.39 €
Market Development and Policy for One Belt One Road Achim I. Czerny / Libro electrónico Adobe ePub DRM
common.buy 147.09 €
Short Literary History of the United States Klarer / Libro Tapa dura
common.buy 169.69 €
Weaving CHristina Martin / Libro Tapa blanda
common.buy 9.19 €
To The End of the Land David Grossman / Libro Tapa blanda
common.buy 14.99 €
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Libro Tapa dura
common.buy 140.79 €
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Libro Tapa blanda
common.buy 15.59 €

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?