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 Twarda
Książka Abstraction Refinement for Large Scale Model Checking Chao Wang
Kod Libristo: 05247797
Wydawnictwo Springer-Verlag New York Inc., lipiec 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Cały opis
? points 277 b
Gwarancja
najlepszej
ceny ▸
484.79 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

La Riviera de Charles Garnier Michel / Książka Miękka
common.buy 57.92 zł
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Książka Miękka
common.buy 119.96 zł
Apreciatividad Laura Isanta / Książka Miękka
common.buy 73.96 zł
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Książka Miękka
common.buy 101.82 zł
El Libro de los Mundos Sheyla Preve / Książka Miękka
common.buy 47.90 zł
Järjestelmävirhe / Książka Twarda
common.buy 112.65 zł
Demokratisierung der Raumplanung. Peter Knoepfel / Książka Miękka
common.buy 338.66 zł
Les 25 plus belles balades faciles de la Haute Corse Quilici / Książka Miękka
common.buy 52.61 zł
BELLEZA Y DESOLACIÓN / Książka Miękka
common.buy 86.79 zł
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Książka Miękka
common.buy 43.69 zł
5-3-1 Methode Dr. Martin Sewer / Książka Miękka
common.buy 64.34 zł
Griechische Metallpanzer Arnold Hagemann / Książka Miękka
common.buy 102.12 zł
Anbau von Heidelbeeren und Cranberries Georg Ebert / Książka Twarda
common.buy 113.35 zł
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Książka Miękka
common.buy 65.64 zł
Taschenbuch der Mathematik Helmut Wörle / Książka Twarda
common.buy 477.27 zł
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Książka Miękka
common.buy 65.74 zł
Alles für den Schein Rudolf Inderst / Książka Miękka
common.buy 338.66 zł
Lara's Theme Detlef Wolf / Książka Miękka
common.buy 80.47 zł
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Książka Miękka
common.buy 241.24 zł
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Książka Miękka
common.buy 208.36 zł
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Książka Miękka
common.buy 195.23 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 Chao Wang, Gary D. Hachtel, Fabio Somenzi
Język Angielski
Oprawa Książka - Twarda
Data wydania 2006
Liczba stron 179
EAN 9780387341552
ISBN 0387341552
Kod Libristo 05247797
Wydawnictwo Springer-Verlag New York Inc.
Waga 1000
Wymiary 155 x 235 x 16

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ć

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Książka Miękka
common.buy 40.88 zł
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Książka Miękka
common.buy 54.41 zł
TOP
The Journey from Abandonment to Healing Susan Anderson / Książka Miękka
common.buy 66.84 zł
Handbook of Dramatherapy Sue Jennings / Książka Twarda
common.buy 709.20 zł
Interface Oral Health Science 2016 Keiichi Sasaki / Książka Twarda
common.buy 213.97 zł
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Książka Miękka
common.buy 40.88 zł
Caleb's Reading Log Martha Day Zschock / Książka Miękka
common.buy 35.47 zł
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Książka Twarda
common.buy 142.01 zł
Deepening Your Marriage Jilene Scherbenske / Książka Miękka
common.buy 64.74 zł
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Książka Miękka
common.buy 133.79 zł
Wild Justice Kelley Armstrong / Książka Miękka
common.buy 58.92 zł
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Książka Miękka
common.buy 72.45 zł
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Książka Miękka
common.buy 354.39 zł
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Książka Twarda
common.buy 1 621.27 zł
Waterville Phyllis Witzler / Książka Twarda
common.buy 104.13 zł
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 / Książka Twarda
common.buy 113.85 zł
Rethinking Social Action through Music GEOFFREY BAKER / Książka Miękka
common.buy 186.11 zł
MLK: An American Legacy David J. Garrow / E-book Adobe ePub DRM
common.buy 53.51 zł
Market Development and Policy for One Belt One Road Achim I. Czerny / E-book Adobe ePub DRM
common.buy 594.44 zł
Short Literary History of the United States Klarer / Książka Twarda
common.buy 679.13 zł
Weaving CHristina Martin / Książka Miękka
common.buy 36.57 zł
To The End of the Land David Grossman / Książka Miękka
common.buy 58.92 zł
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Książka Twarda
common.buy 550.54 zł
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Książka Miękka
common.buy 62.93 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