«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 blanda
Libro Abstraction Refinement for Large Scale Model Checking Fabio Somenzi
Código Libristo: 09165444
Editores Springer-Verlag New York Inc., diciembre 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Descripción completa
? points 303 b
123.99 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Grandes escaladas BONINGTON / Libro Tapa blanda
common.buy 16.59 €
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Libro Tapa dura
common.buy 7.99 €
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Audiolibro MP3
common.buy 7.59 €
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Libro Tapa blanda
common.buy 41.69 €
La princesse sans reflet Peyrard / Libro Tapa dura
common.buy 27.69 €
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Libro Tapa blanda
common.buy 14.09 €
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Libro Tapa blanda
common.buy 11.39 €
Saxophon ab 130 Matthias Böyer / Libro Tapa blanda
common.buy 28.59 €
Popular
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Libro Tapa blanda
common.buy 9.19 €
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Libro Tapa blanda
common.buy 8.89 €
Hag: The Best of Merle Haggard Johnny Cash Audio CD de audio
common.buy 10.29 €

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 Fabio Somenzi
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 179
EAN 9781489993953
ISBN 9781489993953
Código Libristo 09165444
Editores Springer-Verlag New York Inc.
Peso 257
Dimensiones 210 x 2 x 11

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

Schedule-Based Dynamic Transit Modeling Nigel H. Wilson / Libro Tapa dura
common.buy 112.79 €
Decolonising Multilingualism Alison Phipps / Libro Tapa dura
common.buy 57.39 €
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Libro Tapa blanda
common.buy 12.29 €
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Libro Tapa blanda
common.buy 16.39 €
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Libro Tapa blanda
common.buy 12.59 €
The Long Walk: The Verge Walker Book 1 Ben Reeder / Libro Tapa blanda
common.buy 10.69 €
Becoming Peace Kamra Smith / Libro Tapa blanda
common.buy 18.09 €
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Libro Tapa blanda
common.buy 10.69 €
Birth of a Nation D.W. Griffith / Video Blu-ray
common.buy 32.19 €
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Libro Tapa dura
common.buy 18.29 €
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Libro Tapa blanda
common.buy 12.89 €
Lore Craig Saunders / Libro Tapa blanda
common.buy 11.69 €
Popular
Baby Pink Artisan Notebook (Flame Tree Journals) Flame Tree Studio / Calendario/Diario Diario
common.buy 16.29 €
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Libro Tapa blanda
common.buy 15.39 €
My Begging Chart Roberts / Libro Tapa blanda
common.buy 16.99 €
Tetherball Jessica Coupé / Libro Tapa blanda
common.buy 12.69 €
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Libro Tapa dura
common.buy 143.69 €
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Libro Tapa blanda
common.buy 21.19 €
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Libro Tapa blanda
common.buy 20.49 €
Best Nights Make the Worst Mornings Brennan Doback / Libro Tapa blanda
common.buy 20.09 €
Lost Hunter A Tale of Early Times John Turvill Adams / Libro Tapa blanda
common.buy 22.79 €
Chomsky - Language, Mind and Politics 2e James McGilvray / Libro Tapa dura
common.buy 76.49 €
Earth Surface Processes P A Allen / Libro Tapa blanda
common.buy 129.19 €
Maud Melville's Marriage. a Story of the Seventeenth Century. Evelyn Everett Green / Libro Tapa blanda
common.buy 30.19 €

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?