«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 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €
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 304 b
124.09 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

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

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.89 €
Routledge Revivals: The Violence of Language (1990) Jean-Jacques Lecercle / Libro Tapa dura
common.buy 253.49 €
ALPHA FLIGHT MANTLO & LEE OMNI MANTLO BILL / Libro Tapa dura
common.buy 126.39 €
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Libro Tapa blanda
common.buy 12.59 €
Radical Reproductive Justice Loretta Ross / Libro Tapa blanda
common.buy 24.89 €
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Libro Tapa blanda
common.buy 16.79 €
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Libro Tapa blanda
common.buy 12.89 €
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Libro Tapa blanda
common.buy 12.89 €
The Long Walk: The Verge Walker Book 1 Ben Reeder / Libro Tapa blanda
common.buy 10.99 €
Becoming Peace Kamra Smith / Libro Tapa blanda
common.buy 18.59 €
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Libro Tapa blanda
common.buy 10.99 €
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.89 €
Decolonising Multilingualism Alison Phipps / Libro Tapa dura
common.buy 54.89 €
Lore Craig Saunders / Libro Tapa blanda
common.buy 11.99 €
David Yarrow Photography David Yarrow / Libro Tapa dura
common.buy 108.29 €
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Libro Tapa blanda
common.buy 15.79 €
My Begging Chart Roberts / Libro Tapa blanda
common.buy 17.39 €
Tetherball Jessica Coupé / Libro Tapa blanda
common.buy 15.79 €
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Libro Tapa dura
common.buy 143.79 €
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Libro Tapa blanda
common.buy 21.79 €
Playing Piano Chords, Part II Tijs Krammer / Libro Tapa blanda
common.buy 28.69 €
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Libro Tapa blanda
common.buy 20.99 €
Marital Spirituality Patrick J. McDonald / Libro Tapa blanda
common.buy 15.79 €

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?