Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Abstraction Refinement for Large Scale Model Checking

Język AngielskiAngielski
Książka Miękka
Książka Abstraction Refinement for Large Scale Model Checking Fabio Somenzi
Kod Libristo: 09165444
Wydawnictwo Springer-Verlag New York Inc., grudzień 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Cały opis
? points 273 b
478.08 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Grandes escaladas BONINGTON / Książka Miękka
common.buy 73.26 zł
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Książka Twarda
common.buy 32.56 zł
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Audiobook MP3
common.buy 30.26 zł
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Książka Miękka
common.buy 159.75 zł
La princesse sans reflet Peyrard / Książka Twarda
common.buy 116.66 zł
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Książka Miękka
common.buy 59.12 zł
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Książka Miękka
common.buy 46.70 zł
Saxophon ab 130 Matthias Böyer / Książka Miękka
common.buy 114.25 zł
TOP
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Książka Miękka
common.buy 36.57 zł
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Książka Miękka
common.buy 36.17 zł
Hag: The Best of Merle Haggard Johnny Cash Audio CD Audio
common.buy 40.88 zł

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

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Abstraction Refinement for Large Scale Model Checking
Autor Fabio Somenzi
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 179
EAN 9781489993953
ISBN 9781489993953
Kod Libristo 09165444
Wydawnictwo Springer-Verlag New York Inc.
Waga 257
Wymiary 210 x 2 x 11

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Obwody i komponenty elektroniczne
Technika, inżynieria i rolnictwo, procesy przemysłowe > Technika – zagadnienia ogólne > Inżynieria – zagadnienia ogólne
Technika, inżynieria i rolnictwo, procesy przemysłowe > Energetyka i inżynieria energetyczna > Inżynieria elektryczna
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Projektowanie wspomagane komputerowo (CAD)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Schedule-Based Dynamic Transit Modeling Nigel H. Wilson / Książka Twarda
common.buy 435.98 zł
Decolonising Multilingualism Alison Phipps / Książka Twarda
common.buy 204.65 zł
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Książka Miękka
common.buy 50.40 zł
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Książka Miękka
common.buy 66.64 zł
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Książka Miękka
common.buy 51.41 zł
The Long Walk: The Verge Walker Book 1 Ben Reeder / Książka Miękka
common.buy 43.69 zł
Becoming Peace Kamra Smith / Książka Miękka
common.buy 73.96 zł
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Książka Miękka
common.buy 43.69 zł
Birth of a Nation D.W. Griffith / Wideo Blu-ray
common.buy 127.68 zł
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Książka Twarda
common.buy 70.85 zł
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Książka Miękka
common.buy 49.50 zł
Lore Craig Saunders / Książka Miękka
common.buy 47.60 zł
TOP
Baby Pink Artisan Notebook (Flame Tree Journals) Flame Tree Studio / Kalendarz/Pamiętnik Pamiętnik
common.buy 62.83 zł
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Książka Miękka
common.buy 62.93 zł
My Begging Chart Roberts / Książka Miękka
common.buy 68.55 zł
Tetherball Jessica Coupé / Książka Miękka
common.buy 51.11 zł
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Książka Twarda
common.buy 554.05 zł
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Książka Miękka
common.buy 85.58 zł
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Książka Miękka
common.buy 82.38 zł
Best Nights Make the Worst Mornings Brennan Doback / Książka Miękka
common.buy 81.68 zł
Lost Hunter A Tale of Early Times John Turvill Adams / Książka Miękka
common.buy 87.09 zł
Chomsky - Language, Mind and Politics 2e James McGilvray / Książka Twarda
common.buy 313.70 zł
Earth Surface Processes P A Allen / Książka Miękka
common.buy 513.15 zł
Maud Melville's Marriage. a Story of the Seventeenth Century. Evelyn Everett Green / Książka Miękka
common.buy 107.53 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo