Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Abstraction Refinement for Large Scale Model Checking

Език Английски езикАнглийски език
Книга С твърди корици
Книга Abstraction Refinement for Large Scale Model Checking Chao Wang
Код Либристо: 05247797
Издателство Springer-Verlag New York Inc., юли 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Цялото описание
? points 289 b
119.50 €
233.73  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

30 дни за връщане на стоката

Клиентите са закупили също

La Riviera de Charles Garnier Michel / Книга С меки корици
common.buy 14.26 € 27.88 лв
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Книга С меки корици
common.buy 28.31 € 55.37 лв
Apreciatividad Laura Isanta / Книга С меки корици
common.buy 17.46 € 34.15 лв
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Книга С меки корици
common.buy 24.02 € 46.98 лв
El Libro de los Mundos Sheyla Preve / Книга С меки корици
common.buy 11.31 € 22.12 лв
Järjestelmävirhe / Книга С твърди корици
common.buy 28.15 € 55.06 лв
Demokratisierung der Raumplanung. Peter Knoepfel / Книга С меки корици
common.buy 84.37 € 165.01 лв
Les 25 plus belles balades faciles de la Haute Corse Quilici / Книга С меки корици
common.buy 12.96 € 25.35 лв
BELLEZA Y DESOLACIÓN / Книга С меки корици
common.buy 21.28 € 41.62 лв
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Книга С меки корици
common.buy 10.33 € 20.20 лв
5-3-1 Methode Dr. Martin Sewer / Книга С меки корици
common.buy 16.06 € 31.42 лв
Griechische Metallpanzer Arnold Hagemann / Книга С меки корици
common.buy 25.57 € 50.01 лв
Anbau von Heidelbeeren und Cranberries Georg Ebert / Книга С твърди корици
common.buy 28.31 € 55.37 лв
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Книга С меки корици
common.buy 16.17 € 31.62 лв
Taschenbuch der Mathematik Helmut Wörle / Книга С твърди корици
common.buy 112.63 € 220.29 лв
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Книга С меки корици
common.buy 15.50 € 30.31 лв
Alles für den Schein Rudolf Inderst / Книга С меки корици
common.buy 84.63 € 165.52 лв
Lara's Theme Detlef Wolf / Книга С меки корици
common.buy 19.99 € 39.10 лв
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Книга С меки корици
common.buy 59.41 € 116.20 лв
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Книга С меки корици
common.buy 54.35 € 106.30 лв
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Книга С меки корици
common.buy 46.08 € 90.13 лв

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

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Abstraction Refinement for Large Scale Model Checking
Автор Chao Wang, Gary D. Hachtel, Fabio Somenzi
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2006
Брой страници 179
Баркод 9780387341552
ISBN 0387341552
Код Либристо 05247797
Издателство Springer-Verlag New York Inc.
Тегло 1000
Размери 155 x 235 x 16

Категории

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)
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Книга С меки корици
common.buy 9.66 € 18.89 лв
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Книга С меки корици
common.buy 12.86 € 25.15 лв
Top
The Journey from Abandonment to Healing Susan Anderson / Книга С меки корици
common.buy 15.75 € 30.81 лв
Handbook of Dramatherapy Sue Jennings / Книга С твърди корици
common.buy 167.40 € 327.40 лв
Interface Oral Health Science 2016 Keiichi Sasaki / Книга С твърди корици
common.buy 53.26 € 104.18 лв
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Книга С меки корици
common.buy 10.17 € 19.90 лв
Caleb's Reading Log Martha Day Zschock / Книга С меки корици
common.buy 8.36 € 16.36 лв
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Книга С твърди корици
common.buy 33.53 € 65.57 лв
Deepening Your Marriage Jilene Scherbenske / Книга С меки корици
common.buy 15.29 € 29.90 лв
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Книга С меки корици
common.buy 31.56 € 61.73 лв
Wild Justice Kelley Armstrong / Книга С меки корици
common.buy 13.89 € 27.17 лв
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Книга С меки корици
common.buy 17.10 € 33.44 лв
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Книга С меки корици
common.buy 87.26 € 170.67 лв
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Книга С твърди корици
common.buy 401.71 € 785.68 лв
Waterville Phyllis Witzler / Книга С твърди корици
common.buy 24.54 € 47.99 лв
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 / Книга С твърди корици
common.buy 26.86 € 52.54 лв
Rethinking Social Action through Music GEOFFREY BAKER / Книга С меки корици
common.buy 49.08 € 95.99 лв
MLK: An American Legacy David J. Garrow / E-книга Adobe ePub DRM
common.buy 13.27 € 25.96 лв
Market Development and Policy for One Belt One Road Achim I. Czerny / E-книга Adobe ePub DRM
common.buy 146.42 € 286.38 лв
Short Literary History of the United States Klarer / Книга С твърди корици
common.buy 168.28 € 329.12 лв
Weaving CHristina Martin / Книга С меки корици
common.buy 9.14 € 17.88 лв
To The End of the Land David Grossman / Книга С меки корици
common.buy 14.82 € 28.99 лв
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Книга С твърди корици
common.buy 136.14 € 266.27 лв
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Книга С меки корици
common.buy 14.88 € 29.09 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo