Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag New York Inc., červenec 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Celý popis
? points 265 b
2 646 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang, Gary D. Hachtel, Fabio Somenzi
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2006
Počet stran 179
EAN 9780387341552
ISBN 0387341552
Libristo kód 05247797
Nakladatelství Springer-Verlag New York Inc.
Váha 1000
Rozměry 155 x 235 x 16

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Elektronika: obvody a komponenty
Technologie, strojírenství, zemědělství > Technologie: obecná témata > Strojírenství: obecně
Technologie, strojírenství, zemědělství > Energetické technologie a inženýrství > Elektrotechnika
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Kniha Brožovaná
common.buy 222 Kč
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Kniha Brožovaná
common.buy 297 Kč
Top
The Journey from Abandonment to Healing Susan Anderson / Kniha Brožovaná
common.buy 335 Kč
Handbook of Dramatherapy Sue Jennings / Kniha Pevná
common.buy 3 875 Kč
Interface Oral Health Science 2016 Keiichi Sasaki / Kniha Pevná
common.buy 1 155 Kč
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Kniha Brožovaná
common.buy 221 Kč
Caleb's Reading Log Martha Day Zschock / Kniha Brožovaná
common.buy 191 Kč
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Kniha Pevná
common.buy 772 Kč
Deepening Your Marriage Jilene Scherbenske / Kniha Brožovaná
common.buy 353 Kč
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 728 Kč
Wild Justice Kelley Armstrong / Kniha Brožovaná
common.buy 337 Kč
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Kniha Brožovaná
common.buy 392 Kč
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Kniha Brožovaná
common.buy 1 850 Kč
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Kniha Pevná
common.buy 8 804 Kč
Waterville Phyllis Witzler / Kniha Pevná
common.buy 558 Kč
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 619 Kč
Rethinking Social Action through Music GEOFFREY BAKER / Kniha Brožovaná
common.buy 1 064 Kč
MLK: An American Legacy David J. Garrow / E-kniha Adobe ePub DRM
common.buy 306 Kč
Market Development and Policy for One Belt One Road Achim I. Czerny / E-kniha Adobe ePub DRM
common.buy 3 398 Kč
Short Literary History of the United States Klarer / Kniha Pevná
common.buy 3 688 Kč
Weaving CHristina Martin / Kniha Brožovaná
common.buy 197 Kč
To The End of the Land David Grossman / Kniha Brožovaná
common.buy 292 Kč
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Kniha Pevná
common.buy 2 998 Kč
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Kniha Brožovaná
common.buy 338 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet