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 Kurier 12.99 zł Punkt DPD 11.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 ▸
495.19 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

5-3-1 Methode Dr. Martin Sewer / Książka Miękka
common.buy 65.71 zł
Izabela ratuje wróżki. Duże litery. Opowiadania do nauki czytania Agata Giełczyńska-Jonik / Książka Miękka
common.buy 8.08 zł
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Książka Miękka
common.buy 104.00 zł
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Książka Miękka
common.buy 122.53 zł
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Książka Miękka
common.buy 44.63 zł
La Riviera de Charles Garnier Michel / Książka Miękka
common.buy 58.65 zł
Juan Bauptista Mart­nez del Maso SOLANO OROPESA / Książka Miękka
common.buy 37.36 zł
Järjestelmävirhe / Książka Twarda
common.buy 115.06 zł
Demokratisierung der Raumplanung. Peter Knoepfel / Książka Miękka
common.buy 406.73 zł
Les 25 plus belles balades faciles de la Haute Corse Quilici / Książka Miękka
common.buy 53.23 zł
BELLEZA Y DESOLACIÓN / Książka Miękka
common.buy 88.44 zł
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Książka Miękka
common.buy 199.42 zł
Apreciatividad Laura Isanta / Książka Miękka
common.buy 75.54 zł
Erfolgstechniken Max Frankes / Książka Miękka
common.buy 154.58 zł
Griechische Metallpanzer Arnold Hagemann / Książka Miękka
common.buy 104.31 zł
El Libro de los Mundos Sheyla Preve / Książka Miękka
common.buy 48.93 zł
Anbau von Heidelbeeren und Cranberries Georg Ebert / Książka Twarda
common.buy 115.78 zł
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Książka Miękka
common.buy 60.60 zł
Yunus, Ne Hos Demissin Besir Ayvazoglu / Książka Miękka
common.buy 74.11 zł
Taschenbuch der Mathematik Helmut Wörle / Książka Twarda
common.buy 487.51 zł
Alles für den Schein Rudolf Inderst / Książka Miękka
common.buy 345.92 zł
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Książka Miękka
common.buy 55.58 zł
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Książka Miękka
common.buy 167.79 zł
Lara's Theme Detlef Wolf / Książka Miękka
common.buy 81.99 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ć

Mediocrity is Not an Option: Targeting professional success Robert M Chiusano / Książka Miękka
common.buy 75.75 zł
TOP
The Journey from Abandonment to Healing Susan Anderson / Książka Miękka
common.buy 68.28 zł
Handbook of Dramatherapy Sue Jennings / Książka Twarda
common.buy 724.41 zł
Interface Oral Health Science 2016 Keiichi Sasaki / Książka Twarda
common.buy 218.56 zł
Uncommon Friends James D. Newton / Książka Miękka
common.buy 74.11 zł
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Książka Miękka
common.buy 41.76 zł
Caleb's Reading Log Martha Day Zschock / Książka Miękka
common.buy 36.23 zł
Practical Clinical Guide to Resin Cements Michelle Sunico-Segarra / Książka Miękka
common.buy 305.18 zł
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Książka Twarda
common.buy 145.06 zł
Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors Peter W. de Vries / Książka Miękka
common.buy 290.02 zł
Deepening Your Marriage Jilene Scherbenske / Książka Miękka
common.buy 66.13 zł
A Memoir of Holstein: An Engineer Traces His Origin: A Memoir of Holstein: An Engineer Traces His Origin Gary G Ruhser / Książka Miękka
common.buy 68.07 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 136.66 zł
Birth of an Opera Michael Rose / Książka Twarda
common.buy 147.41 zł
Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Książka Miękka
common.buy 41.76 zł
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Książka Miękka
common.buy 74.01 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 361.99 zł
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Książka Twarda
common.buy 1 746.02 zł
52 Things Sarah Wants David To Know: A Different Way To Say It Levy / Książka Miękka
common.buy 60.19 zł
Waterville Phyllis Witzler / Książka Twarda
common.buy 106.36 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 116.29 zł
4000 lists AP Spanish Language and Culture Test Prep Student Edition Book 1: The Ultimate Fast track Spanish Literature preparation textbook quick stu College Education Center / Książka Miękka
common.buy 68.07 zł
Rethinking Social Action through Music GEOFFREY BAKER / Książka Miękka
common.buy 190.10 zł
MLK: An American Legacy David J. Garrow / E-book Adobe ePub DRM
common.buy 76.26 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?