Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Abstraction Refinement for Large Scale Model Checking

Limba englezăengleză
Carte Carte broșată
Carte Abstraction Refinement for Large Scale Model Checking Fabio Somenzi
Codul Libristo: 09165444
Editura Springer-Verlag New York Inc., decembrie 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Descrierea completă
? points 288 b
626.49 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Grandes escaladas BONINGTON / Carte Carte broșată
common.buy 91.02 lei
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Carte Copertă tare
common.buy 42.74 lei
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Audiobook MP3
common.buy 37.53 lei
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Carte Carte broșată
common.buy 209.80 lei
La princesse sans reflet Peyrard / Carte Copertă tare
common.buy 144.83 lei
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Carte Carte broșată
common.buy 73.40 lei
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Carte Carte broșată
common.buy 60.78 lei
Saxophon ab 130 Matthias Böyer / Carte Carte broșată
common.buy 141.81 lei
Top
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Carte Carte broșată
common.buy 45.35 lei
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Carte Carte broșată
common.buy 47.12 lei
Hag: The Best of Merle Haggard Johnny Cash Audio Audio CD
common.buy 53.38 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Abstraction Refinement for Large Scale Model Checking
Autor Fabio Somenzi
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 179
EAN 9781489993953
ISBN 9781489993953
Codul Libristo 09165444
Editura Springer-Verlag New York Inc.
Greutatea 257
Dimensiuni 210 x 2 x 11

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Schedule-Based Dynamic Transit Modeling Nigel H. Wilson / Carte Copertă tare
common.buy 570.50 lei
Decolonising Multilingualism Alison Phipps / Carte Copertă tare
common.buy 269.03 lei
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Carte Carte broșată
common.buy 65.37 lei
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Carte Carte broșată
common.buy 87.06 lei
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Carte Carte broșată
common.buy 67.04 lei
The Long Walk: The Verge Walker Book 1 Ben Reeder / Carte Carte broșată
common.buy 57.13 lei
Becoming Peace Kamra Smith / Carte Carte broșată
common.buy 96.45 lei
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Carte Carte broșată
common.buy 57.13 lei
Birth of a Nation D.W. Griffith / Videoclip Blu-ray
common.buy 167.46 lei
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Carte Copertă tare
common.buy 92.69 lei
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Carte Carte broșată
common.buy 65.16 lei
Lore Craig Saunders / Carte Carte broșată
common.buy 62.14 lei
Top
Baby Pink Artisan Notebook (Flame Tree Journals) Flame Tree Studio / Calendar / Agendă Agendă
common.buy 82.26 lei
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Carte Carte broșată
common.buy 82.06 lei
My Begging Chart Roberts / Carte Carte broșată
common.buy 85.08 lei
Tetherball Jessica Coupé / Carte Carte broșată
common.buy 67.35 lei
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Carte Copertă tare
common.buy 725.76 lei
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Carte Carte broșată
common.buy 112.71 lei
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Carte Carte broșată
common.buy 108.75 lei
Best Nights Make the Worst Mornings Brennan Doback / Carte Carte broșată
common.buy 106.56 lei
Lost Hunter A Tale of Early Times John Turvill Adams / Carte Carte broșată
common.buy 114.38 lei
Chomsky - Language, Mind and Politics 2e James McGilvray / Carte Copertă tare
common.buy 406.67 lei
Earth Surface Processes P A Allen / Carte Carte broșată
common.buy 636.92 lei
Maud Melville's Marriage. a Story of the Seventeenth Century. Evelyn Everett Green / Carte Carte broșată
common.buy 141.60 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo