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 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 277 b
601.65 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

La Riviera de Charles Garnier Michel / Carte Carte broșată
common.buy 71.82 lei
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Carte Carte broșată
common.buy 156.48 lei
Apreciatividad Laura Isanta / Carte Carte broșată
common.buy 96.43 lei
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Carte Carte broșată
common.buy 132.39 lei
El Libro de los Mundos Sheyla Preve / Carte Carte broșată
common.buy 62.54 lei
Järjestelmävirhe / Carte Copertă tare
common.buy 148.03 lei
Demokratisierung der Raumplanung. Peter Knoepfel / Carte Carte broșată
common.buy 443.49 lei
Les 25 plus belles balades faciles de la Haute Corse Quilici / Carte Carte broșată
common.buy 65.36 lei
BELLEZA Y DESOLACIÓN / Carte Carte broșată
common.buy 107.69 lei
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Carte Carte broșată
common.buy 57.12 lei
5-3-1 Methode Dr. Martin Sewer / Carte Carte broșată
common.buy 84.44 lei
Griechische Metallpanzer Arnold Hagemann / Carte Carte broșată
common.buy 134.37 lei
Anbau von Heidelbeeren und Cranberries Georg Ebert / Carte Copertă tare
common.buy 148.97 lei
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Carte Carte broșată
common.buy 81.41 lei
Taschenbuch der Mathematik Helmut Wörle / Carte Copertă tare
common.buy 629.38 lei
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Carte Carte broșată
common.buy 85.48 lei
Alles für den Schein Rudolf Inderst / Carte Carte broșată
common.buy 445.06 lei
Lara's Theme Detlef Wolf / Carte Carte broșată
common.buy 99.87 lei
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Carte Carte broșată
common.buy 299.41 lei
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Carte Carte broșată
common.buy 272.20 lei
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Carte Carte broșată
common.buy 253.12 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 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

Ar putea de asemenea, să te intereseze

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Carte Carte broșată
common.buy 53.37 lei
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Carte Carte broșată
common.buy 70.57 lei
Top
The Journey from Abandonment to Healing Susan Anderson / Carte Carte broșată
common.buy 88.09 lei
Handbook of Dramatherapy Sue Jennings / Carte Copertă tare
common.buy 919.21 lei
Interface Oral Health Science 2016 Keiichi Sasaki / Carte Copertă tare
common.buy 280.02 lei
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Carte Carte broșată
common.buy 53.58 lei
Caleb's Reading Log Martha Day Zschock / Carte Carte broșată
common.buy 46.90 lei
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Carte Copertă tare
common.buy 184.73 lei
Deepening Your Marriage Jilene Scherbenske / Carte Carte broșată
common.buy 84.23 lei
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Carte Carte broșată
common.buy 174.10 lei
Wild Justice Kelley Armstrong / Carte Carte broșată
common.buy 73.18 lei
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Carte Carte broșată
common.buy 94.44 lei
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Carte Carte broșată
common.buy 458.92 lei
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Carte Copertă tare
common.buy 2 112.41 lei
Waterville Phyllis Witzler / Carte Copertă tare
common.buy 137.19 lei
Catalogue of a Large Collection of Antient and Modern Coins and Medals, in Gold, Silver, and Copper, Consisting of Phoenician, Etruscan, Greek, Roman, MR. GERARD / Carte Copertă tare
common.buy 148.24 lei
Rethinking Social Action through Music GEOFFREY BAKER / Carte Carte broșată
common.buy 244.68 lei
MLK: An American Legacy David J. Garrow / E-book Adobe ePub DRM
common.buy 66.40 lei
Market Development and Policy for One Belt One Road Achim I. Czerny / E-book Adobe ePub DRM
common.buy 737.70 lei
Short Literary History of the United States Klarer / Carte Copertă tare
common.buy 884.91 lei
Weaving CHristina Martin / Carte Carte broșată
common.buy 47.95 lei
To The End of the Land David Grossman / Carte Carte broșată
common.buy 77.97 lei
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Carte Copertă tare
common.buy 715.81 lei
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Carte Carte broșată
common.buy 83.18 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