Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Abstraction Refinement for Large Scale Model Checking

Lingua IngleseInglese
Libro In brossura
Libro Abstraction Refinement for Large Scale Model Checking Fabio Somenzi
Codice Libristo: 09165444
Casa editrice Springer-Verlag New York Inc., dicembre 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Descrizione completa
? points 289 b
117.89 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Grandes escaladas BONINGTON / Libro In brossura
common.buy 17.09 €
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Libro Rigido
common.buy 7.99 €
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Audiolibro MP3
common.buy 7.39 €
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Libro In brossura
common.buy 39.49 €
La princesse sans reflet Peyrard / Libro Rigido
common.buy 28.39 €
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Libro In brossura
common.buy 13.79 €
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Libro In brossura
common.buy 11.39 €
Saxophon ab 130 Matthias Böyer / Libro In brossura
common.buy 27.99 €
I migliori
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Libro In brossura
common.buy 8.99 €
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Libro In brossura
common.buy 8.89 €
Hag: The Best of Merle Haggard Johnny Cash Audio CD audio
common.buy 10.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.§

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Abstraction Refinement for Large Scale Model Checking
Autore Fabio Somenzi
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2014
Numero di pagine 179
EAN 9781489993953
ISBN 9781489993953
Codice Libristo 09165444
Casa editrice Springer-Verlag New York Inc.
Peso 257
Dimensioni 210 x 2 x 11

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Elettronica: circuiti e componenti
Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia: argomenti di interesse generale > Ingegneria: generale
Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia e ingegneria energetica > Ingegneria elettrica
Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Disegno assistito (CAD)
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

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

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?