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 Trda
Knjiga Abstraction Refinement for Large Scale Model Checking Chao Wang
Koda Libristo: 05247797
Založba Springer-Verlag New York Inc., julij 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Celoten opis
? points 252 b
104.31 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

La Riviera de Charles Garnier Michel / Knjiga Mehka
common.buy 12.45 €
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Knjiga Mehka
common.buy 26.93 €
Apreciatividad Laura Isanta / Knjiga Mehka
common.buy 16.70 €
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Knjiga Mehka
common.buy 22.88 €
El Libro de los Mundos Sheyla Preve / Knjiga Mehka
common.buy 10.73 €
Järjestelmävirhe / Knjiga Trda
common.buy 25.11 €
Demokratisierung der Raumplanung. Peter Knoepfel / Knjiga Mehka
common.buy 75.65 €
Les 25 plus belles balades faciles de la Haute Corse Quilici / Knjiga Mehka
common.buy 11.33 €
BELLEZA Y DESOLACIÓN / Knjiga Mehka
common.buy 18.93 €
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Knjiga Mehka
common.buy 9.81 €
5-3-1 Methode Dr. Martin Sewer / Knjiga Mehka
common.buy 14.27 €
Griechische Metallpanzer Arnold Hagemann / Knjiga Mehka
common.buy 22.78 €
Anbau von Heidelbeeren und Cranberries Georg Ebert / Knjiga Trda
common.buy 25.21 €
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Knjiga Mehka
common.buy 14.07 €
Taschenbuch der Mathematik Helmut Wörle / Knjiga Trda
common.buy 105.83 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Knjiga Mehka
common.buy 14.78 €
Alles für den Schein Rudolf Inderst / Knjiga Mehka
common.buy 75.45 €
Lara's Theme Detlef Wolf / Knjiga Mehka
common.buy 17.01 €
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Knjiga Mehka
common.buy 52.05 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Knjiga Mehka
common.buy 51.85 €
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Knjiga Mehka
common.buy 44.15 €

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 Chao Wang, Gary D. Hachtel, Fabio Somenzi
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 2006
Število strani 179
EAN 9780387341552
ISBN 0387341552
Koda Libristo 05247797
Založba Springer-Verlag New York Inc.
Teža 1000
Mere 155 x 235 x 16

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

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Knjiga Mehka
common.buy 9.21 €
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Knjiga Mehka
common.buy 12.24 €
Top
The Journey from Abandonment to Healing Susan Anderson / Knjiga Mehka
common.buy 14.88 €
Handbook of Dramatherapy Sue Jennings / Knjiga Trda
common.buy 160.32 €
Interface Oral Health Science 2016 Keiichi Sasaki / Knjiga Trda
common.buy 47.80 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Knjiga Mehka
common.buy 9.11 €
Caleb's Reading Log Martha Day Zschock / Knjiga Mehka
common.buy 7.89 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Knjiga Trda
common.buy 31.89 €
Deepening Your Marriage Jilene Scherbenske / Knjiga Mehka
common.buy 14.57 €
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Knjiga Mehka
common.buy 30.07 €
Wild Justice Kelley Armstrong / Knjiga Mehka
common.buy 13.97 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Knjiga Mehka
common.buy 16.20 €
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Knjiga Mehka
common.buy 80.21 €
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Knjiga Trda
common.buy 364.30 €
Waterville Phyllis Witzler / Knjiga Trda
common.buy 23.08 €
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 / Knjiga Trda
common.buy 25.61 €
Rethinking Social Action through Music GEOFFREY BAKER / Knjiga Mehka
common.buy 46.58 €
MLK: An American Legacy David J. Garrow / E-knjiga Adobe ePub DRM
common.buy 11.33 €
Market Development and Policy for One Belt One Road Achim I. Czerny / E-knjiga Adobe ePub DRM
common.buy 128.21 €
Short Literary History of the United States Klarer / Knjiga Trda
common.buy 152.62 €
Weaving CHristina Martin / Knjiga Mehka
common.buy 8.09 €
To The End of the Land David Grossman / Knjiga Mehka
common.buy 13.06 €
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Knjiga Trda
common.buy 124.06 €
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Knjiga Mehka
common.buy 13.97 €

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?