phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Abstraction Refinement for Large Scale Model Checking

Limba englezăengleză
Carte Copertă tare
Carte Abstraction Refinement for Large Scale Model Checking Chao Wang
Codul Libristo: 05247797
Editura Springer-Verlag New York Inc., iulie 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Descrierea completă
? points 318 b
640 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

The Journey from Abandonment to Healing Susan Anderson / Carte broșată
common.buy 88 lei
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Carte broșată
common.buy 290 lei
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Carte broșată
common.buy 317 lei
Demokratisierung der Raumplanung. Peter Knoepfel / Carte broșată
common.buy 428 lei
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Carte broșată
common.buy 88 lei
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Carte broșată
common.buy 97 lei
Ecology, Impact Assessment, and Environmental Planning Walter E. Westman / Carte broșată
common.buy 1.785 lei
Taschenbuch der Mathematik Helmut Wörle / Copertă tare
common.buy 618 lei
Interface Oral Health Science 2016 Keiichi Sasaki / Copertă tare
common.buy 271 lei
Confessions of a Left-Handed Man Peter Selgin / Carte broșată
common.buy 106 lei
Medical Statistics from A to Z B. S. Everitt / Copertă tare
common.buy 958 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.§

Informații despre carte

Titlu complet Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang, Gary D. Hachtel, Fabio Somenzi
Limba engleză
Legare Carte - Copertă tare
Data publicării 2006
Număr pagini 179
EAN 9780387341552
ISBN 0387341552
Codul Libristo 05247797
Editura Springer-Verlag New York Inc.
Greutatea 1000
Dimensiuni 155 x 235 x 16

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

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