Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Abstraction Refinement for Large Scale Model Checking

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Abstraction Refinement for Large Scale Model Checking Chao Wang
Libristo kód: 05247797
Nakladateľstvo Springer-Verlag New York Inc., júl 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Celý popis
? points 265 b
109.48 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

La Riviera de Charles Garnier Michel / Kniha Brožovaná
common.buy 13.66 €
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Kniha Brožovaná
common.buy 26.93 €
Apreciatividad Laura Isanta / Kniha Brožovaná
common.buy 16.70 €
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Kniha Brožovaná
common.buy 22.88 €
El Libro de los Mundos Sheyla Preve / Kniha Brožovaná
common.buy 10.73 €
Järjestelmävirhe / Kniha Pevná
common.buy 26.63 €
Demokratisierung der Raumplanung. Peter Knoepfel / Kniha Brožovaná
common.buy 80.10 €
Les 25 plus belles balades faciles de la Haute Corse Quilici / Kniha Brožovaná
common.buy 12.45 €
BELLEZA Y DESOLACIÓN / Kniha Brožovaná
common.buy 19.64 €
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Kniha Brožovaná
common.buy 9.81 €
5-3-1 Methode Dr. Martin Sewer / Kniha Brožovaná
common.buy 15.18 €
Griechische Metallpanzer Arnold Hagemann / Kniha Brožovaná
common.buy 24.20 €
Anbau von Heidelbeeren und Cranberries Georg Ebert / Kniha Pevná
common.buy 26.83 €
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Kniha Brožovaná
common.buy 15.49 €
Taschenbuch der Mathematik Helmut Wörle / Kniha Pevná
common.buy 105.83 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Kniha Brožovaná
common.buy 14.78 €
Alles für den Schein Rudolf Inderst / Kniha Brožovaná
common.buy 80.10 €
Lara's Theme Detlef Wolf / Kniha Brožovaná
common.buy 19.03 €
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Kniha Brožovaná
common.buy 57.01 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Kniha Brožovaná
common.buy 51.85 €
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Kniha Brožovaná
common.buy 44.15 €

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

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang, Gary D. Hachtel, Fabio Somenzi
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2006
Počet strán 179
EAN 9780387341552
ISBN 0387341552
Libristo kód 05247797
Nakladateľstvo Springer-Verlag New York Inc.
Váha 1000
Rozmery 155 x 235 x 16

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Elektronika: obvody a komponenty
Technológie, strojárstvo, poľnohospodárstvo > Technológie: všeobecné témy > Strojárstvo: všeobecne
Technológie, strojárstvo, poľnohospodárstvo > Energetické technológie a inžinierstvo > Elektrotechnika
Výpočtové a informačné technológie > Grafické a digitálne mediálne aplikácie > Počítačom podporovaný dizajn (CAD)
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Kniha Brožovaná
common.buy 9.21 €
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Kniha Brožovaná
common.buy 12.24 €
Top
The Journey from Abandonment to Healing Susan Anderson / Kniha Brožovaná
common.buy 14.88 €
Handbook of Dramatherapy Sue Jennings / Kniha Pevná
common.buy 160.32 €
Interface Oral Health Science 2016 Keiichi Sasaki / Kniha Pevná
common.buy 50.63 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Kniha Brožovaná
common.buy 9.71 €
Caleb's Reading Log Martha Day Zschock / Kniha Brožovaná
common.buy 7.89 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Kniha Pevná
common.buy 31.89 €
Deepening Your Marriage Jilene Scherbenske / Kniha Brožovaná
common.buy 14.57 €
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Kniha Brožovaná
common.buy 30.07 €
Wild Justice Kelley Armstrong / Kniha Brožovaná
common.buy 13.97 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Kniha Brožovaná
common.buy 16.20 €
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Kniha Brožovaná
common.buy 83.85 €
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Kniha Pevná
common.buy 383.45 €
Waterville Phyllis Witzler / Kniha Pevná
common.buy 23.08 €
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 / Kniha Pevná
common.buy 25.61 €
Rethinking Social Action through Music GEOFFREY BAKER / Kniha Brožovaná
common.buy 46.58 €
MLK: An American Legacy David J. Garrow / E-kniha Adobe ePub DRM
common.buy 12.65 €
Market Development and Policy for One Belt One Road Achim I. Czerny / E-kniha Adobe ePub DRM
common.buy 140.57 €
Short Literary History of the United States Klarer / Kniha Pevná
common.buy 160.62 €
Weaving CHristina Martin / Kniha Brožovaná
common.buy 8.60 €
To The End of the Land David Grossman / Kniha Brožovaná
common.buy 12.95 €
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Kniha Pevná
common.buy 130.24 €
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Kniha Brožovaná
common.buy 13.97 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet