Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Abstraction Refinement for Large Scale Model Checking

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Abstraction Refinement for Large Scale Model Checking Fabio Somenzi
Koda Libristo: 09165444
Založba Springer-Verlag New York Inc., december 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Celoten opis
? points 258 b
106.84 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Grandes escaladas BONINGTON / Knjiga Mehka
common.buy 15.59 €
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Knjiga Trda
common.buy 7.18 €
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Zvočnica MP3
common.buy 6.37 €
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Knjiga Mehka
common.buy 35.54 €
La princesse sans reflet Peyrard / Knjiga Trda
common.buy 25.21 €
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Knjiga Mehka
common.buy 12.75 €
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Knjiga Mehka
common.buy 10.42 €
Saxophon ab 130 Matthias Böyer / Knjiga Mehka
common.buy 24.30 €
Top
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Knjiga Mehka
common.buy 7.69 €
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Knjiga Mehka
common.buy 8.09 €
Hag: The Best of Merle Haggard Johnny Cash Zvok Zvočni CD
common.buy 9.21 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Abstraction Refinement for Large Scale Model Checking
Avtor Fabio Somenzi
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2014
Število strani 179
EAN 9781489993953
ISBN 9781489993953
Koda Libristo 09165444
Založba Springer-Verlag New York Inc.
Teža 257
Mere 210 x 2 x 11

Kategorije

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)
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Schedule-Based Dynamic Transit Modeling Nigel H. Wilson / Knjiga Trda
common.buy 97.53 €
Decolonising Multilingualism Alison Phipps / Knjiga Trda
common.buy 51.24 €
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Knjiga Mehka
common.buy 11.33 €
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Knjiga Mehka
common.buy 14.98 €
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Knjiga Mehka
common.buy 11.54 €
The Long Walk: The Verge Walker Book 1 Ben Reeder / Knjiga Mehka
common.buy 9.81 €
Becoming Peace Kamra Smith / Knjiga Mehka
common.buy 16.70 €
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Knjiga Mehka
common.buy 9.81 €
Birth of a Nation D.W. Griffith / Film Blu-ray
common.buy 28.55 €
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Knjiga Trda
common.buy 15.79 €
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Knjiga Mehka
common.buy 11.03 €
Lore Craig Saunders / Knjiga Mehka
common.buy 10.73 €
Top
Baby Pink Artisan Notebook (Flame Tree Journals) Flame Tree Studio / Koledar/Rokovnik Rokovnik
common.buy 14.07 €
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Knjiga Mehka
common.buy 14.07 €
My Begging Chart Roberts / Knjiga Mehka
common.buy 14.17 €
Tetherball Jessica Coupé / Knjiga Mehka
common.buy 11.33 €
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Knjiga Trda
common.buy 123.76 €
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Knjiga Mehka
common.buy 18.93 €
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Knjiga Mehka
common.buy 18.32 €
Best Nights Make the Worst Mornings Brennan Doback / Knjiga Mehka
common.buy 18.32 €
Lost Hunter A Tale of Early Times John Turvill Adams / Knjiga Mehka
common.buy 19.44 €
Chomsky - Language, Mind and Politics 2e James McGilvray / Knjiga Trda
common.buy 70.89 €
Earth Surface Processes P A Allen / Knjiga Mehka
common.buy 107.86 €
Maud Melville's Marriage. a Story of the Seventeenth Century. Evelyn Everett Green / Knjiga Mehka
common.buy 26.93 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?