«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 289 b
118.19 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

5-3-1 Methode Dr. Martin Sewer / Libro Tapa blanda
common.buy 14.99 €
Izabela ratuje wróżki. Duże litery. Opowiadania do nauki czytania Agata Giełczyńska-Jonik / Libro Tapa blanda
common.buy 2.29 €
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Libro Tapa blanda
common.buy 24.89 €
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Libro Tapa blanda
common.buy 29.49 €
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Libro Tapa blanda
common.buy 10.69 €
La Riviera de Charles Garnier Michel / Libro Tapa blanda
common.buy 13.59 €
Juan Bauptista Mart­nez del Maso SOLANO OROPESA / Libro Tapa blanda
common.buy 8.49 €
Järjestelmävirhe / Libro Tapa dura
common.buy 29.39 €
Demokratisierung der Raumplanung. Peter Knoepfel / Libro Tapa blanda
common.buy 92.99 €
Les 25 plus belles balades faciles de la Haute Corse Quilici / Libro Tapa blanda
common.buy 12.29 €
BELLEZA Y DESOLACIÓN / Libro Tapa blanda
common.buy 20.99 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Libro Tapa blanda
common.buy 53.79 €
Apreciatividad Laura Isanta / Libro Tapa blanda
common.buy 18.09 €
Erfolgstechniken Max Frankes / Libro Tapa blanda
common.buy 35.29 €
Griechische Metallpanzer Arnold Hagemann / Libro Tapa blanda
common.buy 23.89 €
El Libro de los Mundos Sheyla Preve / Libro Tapa blanda
common.buy 11.79 €
Anbau von Heidelbeeren und Cranberries Georg Ebert / Libro Tapa dura
common.buy 26.49 €
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Libro Tapa blanda
common.buy 13.79 €
Yunus, Ne Hos Demissin Besir Ayvazoglu / Libro Tapa blanda
common.buy 18.69 €
Taschenbuch der Mathematik Helmut Wörle / Libro Tapa dura
common.buy 118.39 €
Alles für den Schein Rudolf Inderst / Libro Tapa blanda
common.buy 79.09 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Libro Tapa blanda
common.buy 15.19 €
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Libro Tapa blanda
common.buy 45.19 €
Lara's Theme Detlef Wolf / Libro Tapa blanda
common.buy 20.09 €

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

Mediocrity is Not an Option: Targeting professional success Robert M Chiusano / Libro Tapa blanda
common.buy 18.19 €
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 49.99 €
Uncommon Friends James D. Newton / Libro Tapa blanda
common.buy 17.89 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Libro Tapa blanda
common.buy 9.59 €
Caleb's Reading Log Martha Day Zschock / Libro Tapa blanda
common.buy 8.79 €
Practical Clinical Guide to Resin Cements Michelle Sunico-Segarra / Libro Tapa blanda
common.buy 69.79 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Libro Tapa dura
common.buy 34.79 €
Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors Peter W. de Vries / Libro Tapa blanda
common.buy 66.29 €
Deepening Your Marriage Jilene Scherbenske / Libro Tapa blanda
common.buy 15.89 €
A Memoir of Holstein: An Engineer Traces His Origin: A Memoir of Holstein: An Engineer Traces His Origin Gary G Ruhser / Libro Tapa blanda
common.buy 16.39 €
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 €
Birth of an Opera Michael Rose / Libro Tapa dura
common.buy 36.29 €
Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Libro Tapa blanda
common.buy 10.09 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Libro Tapa blanda
common.buy 17.79 €
Popular
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 427.19 €
52 Things Sarah Wants David To Know: A Different Way To Say It Levy / Libro Tapa blanda
common.buy 14.49 €
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 €
4000 lists AP Spanish Language and Culture Test Prep Student Edition Book 1: The Ultimate Fast track Spanish Literature preparation textbook quick stu College Education Center / Libro Tapa blanda
common.buy 16.39 €
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 18.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?