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 Puha kötésű
Könyv Abstraction Refinement for Large Scale Model Checking Fabio Somenzi
Libristo kód: 09165444
Kiadó Springer-Verlag New York Inc., december 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Teljes leírás
? points 298 b
43 668 Ft
Beszállítói készleten Küldés 5-8 napon belül

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

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

Grandes escaladas BONINGTON / Könyv Puha kötésű
common.buy 6 150 Ft
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Könyv Kemény kötésű
common.buy 2 994 Ft
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Hangoskönyv MP3
common.buy 2 540 Ft
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Könyv Puha kötésű
common.buy 14 645 Ft
La princesse sans reflet Peyrard / Könyv Kemény kötésű
common.buy 9 787 Ft
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Könyv Puha kötésű
common.buy 4 974 Ft
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Könyv Puha kötésű
common.buy 4 225 Ft
Saxophon ab 130 Matthias Böyer / Könyv Puha kötésű
common.buy 9 144 Ft
Toplistás
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Könyv Puha kötésű
common.buy 3 325 Ft
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Könyv Puha kötésű
common.buy 3 285 Ft
Hag: The Best of Merle Haggard Johnny Cash Hanganyagok Audio CD
common.buy 3 609 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ő Fabio Somenzi
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2014
Oldalszám 179
EAN 9781489993953
ISBN 9781489993953
Libristo kód 09165444
Kiadó Springer-Verlag New York Inc.
Súly 257
Méretek 210 x 2 x 11

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

Schedule-Based Dynamic Transit Modeling Nigel H. Wilson / Könyv Kemény kötésű
common.buy 39 735 Ft
Decolonising Multilingualism Alison Phipps / Könyv Kemény kötésű
common.buy 19 194 Ft
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Könyv Puha kötésű
common.buy 4 535 Ft
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Könyv Puha kötésű
common.buy 6 043 Ft
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Könyv Puha kötésű
common.buy 4 664 Ft
The Long Walk: The Verge Walker Book 1 Ben Reeder / Könyv Puha kötésű
common.buy 3 961 Ft
Becoming Peace Kamra Smith / Könyv Puha kötésű
common.buy 6 691 Ft
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Könyv Puha kötésű
common.buy 3 961 Ft
Birth of a Nation D.W. Griffith / Filmek Blu-ray
common.buy 11 314 Ft
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Könyv Kemény kötésű
common.buy 6 455 Ft
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Könyv Puha kötésű
common.buy 4 549 Ft
Lore Craig Saunders / Könyv Puha kötésű
common.buy 4 326 Ft
Toplistás
Baby Pink Artisan Notebook (Flame Tree Journals) Flame Tree Studio / Naptár/Határidőnapló Határidőnapló
common.buy 5 738 Ft
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Könyv Puha kötésű
common.buy 5 710 Ft
My Begging Chart Roberts / Könyv Puha kötésű
common.buy 5 974 Ft
Tetherball Jessica Coupé / Könyv Puha kötésű
common.buy 4 711 Ft
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Könyv Kemény kötésű
common.buy 50 581 Ft
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Könyv Puha kötésű
common.buy 7 894 Ft
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Könyv Puha kötésű
common.buy 7 603 Ft
Best Nights Make the Worst Mornings Brennan Doback / Könyv Puha kötésű
common.buy 7 427 Ft
Lost Hunter A Tale of Early Times John Turvill Adams / Könyv Puha kötésű
common.buy 7 996 Ft
Chomsky - Language, Mind and Politics 2e James McGilvray / Könyv Kemény kötésű
common.buy 28 171 Ft
Earth Surface Processes P A Allen / Könyv Puha kötésű
common.buy 43 006 Ft
Maud Melville's Marriage. a Story of the Seventeenth Century. Evelyn Everett Green / Könyv Puha kötésű
common.buy 10 097 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?