Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Abstraction Refinement for Large Scale Model Checking

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Abstraction Refinement for Large Scale Model Checking Chao Wang
Libristo kod: 05247797
Nakladnici Springer-Verlag New York Inc., srpanj 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Cijeli opis
? points 265 b
109.23 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang, Gary D. Hachtel, Fabio Somenzi
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2006
Broj stranica 179
EAN 9780387341552
ISBN 0387341552
Libristo kod 05247797
Nakladnici Springer-Verlag New York Inc.
Težina 1000
Dimenzije 155 x 235 x 16

Kategorija

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)
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Knjiga Meki uvez
common.buy 9.69 €
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Knjiga Meki uvez
common.buy 12.82 €
Top
The Journey from Abandonment to Healing Susan Anderson / Knjiga Meki uvez
common.buy 15.75 €
Handbook of Dramatherapy Sue Jennings / Knjiga Tvrdi uvez
common.buy 167.33 €
Interface Oral Health Science 2016 Keiichi Sasaki / Knjiga Tvrdi uvez
common.buy 50.52 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Knjiga Meki uvez
common.buy 9.69 €
Caleb's Reading Log Martha Day Zschock / Knjiga Meki uvez
common.buy 8.38 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Knjiga Tvrdi uvez
common.buy 33.54 €
Deepening Your Marriage Jilene Scherbenske / Knjiga Meki uvez
common.buy 15.25 €
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 Meki uvez
common.buy 31.62 €
Wild Justice Kelley Armstrong / Knjiga Meki uvez
common.buy 13.94 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Knjiga Meki uvez
common.buy 17.07 €
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Knjiga Meki uvez
common.buy 83.66 €
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Knjiga Tvrdi uvez
common.buy 382.58 €
Waterville Phyllis Witzler / Knjiga Tvrdi uvez
common.buy 24.55 €
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 Tvrdi uvez
common.buy 26.87 €
Rethinking Social Action through Music GEOFFREY BAKER / Knjiga Meki uvez
common.buy 46.47 €
MLK: An American Legacy David J. Garrow / E-knjiga Adobe ePub DRM
common.buy 11.91 €
Market Development and Policy for One Belt One Road Achim I. Czerny / E-knjiga Adobe ePub DRM
common.buy 134.19 €
Short Literary History of the United States Klarer / Knjiga Tvrdi uvez
common.buy 160.26 €
Weaving CHristina Martin / Knjiga Meki uvez
common.buy 8.58 €
To The End of the Land David Grossman / Knjiga Meki uvez
common.buy 13.94 €
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Knjiga Tvrdi uvez
common.buy 129.94 €
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Knjiga Meki uvez
common.buy 14.84 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun