A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Abstraction Refinement for Large Scale Model Checking

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Abstraction Refinement for Large Scale Model Checking Chao Wang
Libristo kód: 05247797
Kiadó Springer-Verlag New York Inc., július 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Teljes leírás
? points 285 b
41 747 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-18 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

La Riviera de Charles Garnier Michel / Könyv Puha kötésű
common.buy 4 859 Ft
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Könyv Puha kötésű
common.buy 10 888 Ft
Apreciatividad Laura Isanta / Könyv Puha kötésű
common.buy 6 691 Ft
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Könyv Puha kötésű
common.buy 9 199 Ft
El Libro de los Mundos Sheyla Preve / Könyv Puha kötésű
common.buy 4 359 Ft
Järjestelmävirhe / Könyv Kemény kötésű
common.buy 10 328 Ft
Demokratisierung der Raumplanung. Peter Knoepfel / Könyv Puha kötésű
common.buy 30 933 Ft
Les 25 plus belles balades faciles de la Haute Corse Quilici / Könyv Puha kötésű
common.buy 4 414 Ft
BELLEZA Y DESOLACIÓN / Könyv Puha kötésű
common.buy 7 455 Ft
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Könyv Puha kötésű
common.buy 3 961 Ft
5-3-1 Methode Dr. Martin Sewer / Könyv Puha kötésű
common.buy 5 900 Ft
Griechische Metallpanzer Arnold Hagemann / Könyv Puha kötésű
common.buy 9 375 Ft
Anbau von Heidelbeeren und Cranberries Georg Ebert / Könyv Kemény kötésű
common.buy 10 402 Ft
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Könyv Puha kötésű
common.buy 5 502 Ft
Taschenbuch der Mathematik Helmut Wörle / Könyv Kemény kötésű
common.buy 44 033 Ft
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Könyv Puha kötésű
common.buy 5 941 Ft
Alles für den Schein Rudolf Inderst / Könyv Puha kötésű
common.buy 31 077 Ft
Lara's Theme Detlef Wolf / Könyv Puha kötésű
common.buy 6 751 Ft
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Könyv Puha kötésű
common.buy 20 235 Ft
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Könyv Puha kötésű
common.buy 19 324 Ft
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Könyv Puha kötésű
common.buy 17 533 Ft

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

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Abstraction Refinement for Large Scale Model Checking
Szerző Chao Wang, Gary D. Hachtel, Fabio Somenzi
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2006
Oldalszám 179
EAN 9780387341552
ISBN 0387341552
Libristo kód 05247797
Kiadó Springer-Verlag New York Inc.
Súly 1000
Méretek 155 x 235 x 16

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Elektronika: áramkörök és komponensek
Technológia, mérnöki tudományok, mezőgazdaság > Technológia: általános kérdések > Mérnöki tudományok: általános jellegű
Technológia, mérnöki tudományok, mezőgazdaság > Energiatechnológia és energiagépészet > Elektronikus gépészet
Számítástechnika és információtechnológia > Grafikus és digitális média > Számítógép által segített tervezés / dizájn (CAD)
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Könyv Puha kötésű
common.buy 3 711 Ft
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Könyv Puha kötésű
common.buy 4 900 Ft
Toplistás
The Journey from Abandonment to Healing Susan Anderson / Könyv Puha kötésű
common.buy 6 177 Ft
Handbook of Dramatherapy Sue Jennings / Könyv Kemény kötésű
common.buy 63 699 Ft
Interface Oral Health Science 2016 Keiichi Sasaki / Könyv Kemény kötésű
common.buy 19 532 Ft
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Könyv Puha kötésű
common.buy 3 744 Ft
Caleb's Reading Log Martha Day Zschock / Könyv Puha kötésű
common.buy 3 285 Ft
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Könyv Kemény kötésű
common.buy 12 841 Ft
Deepening Your Marriage Jilene Scherbenske / Könyv Puha kötésű
common.buy 5 840 Ft
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Könyv Puha kötésű
common.buy 12 105 Ft
Wild Justice Kelley Armstrong / Könyv Puha kötésű
common.buy 4 872 Ft
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Könyv Puha kötésű
common.buy 6 557 Ft
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Könyv Puha kötésű
common.buy 31 021 Ft
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Könyv Kemény kötésű
common.buy 142 775 Ft
Waterville Phyllis Witzler / Könyv Kemény kötésű
common.buy 9 611 Ft
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 / Könyv Kemény kötésű
common.buy 10 300 Ft
Rethinking Social Action through Music GEOFFREY BAKER / Könyv Puha kötésű
common.buy 17 445 Ft
MLK: An American Legacy David J. Garrow / E-könyv Adobe ePub DRM
common.buy 4 488 Ft
Market Development and Policy for One Belt One Road Achim I. Czerny / E-könyv Adobe ePub DRM
common.buy 49 804 Ft
Short Literary History of the United States Klarer / Könyv Kemény kötésű
common.buy 59 822 Ft
Weaving CHristina Martin / Könyv Puha kötésű
common.buy 3 244 Ft
To The End of the Land David Grossman / Könyv Puha kötésű
common.buy 5 284 Ft
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Könyv Kemény kötésű
common.buy 49 697 Ft
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Könyv Puha kötésű
common.buy 5 812 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?