Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Abstraction Refinement for Large Scale Model Checking

Sprache EnglischEnglisch
Buch Hardcover
Buch Abstraction Refinement for Large Scale Model Checking Chao Wang
Libristo-Code: 05247797
Verlag Springer-Verlag New York Inc., Juli 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Vollständige Beschreibung
? points 290 b
118.29 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

La Riviera de Charles Garnier Michel / Buch Broschur
common.buy 14.09 €
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Buch Broschur
common.buy 29.49 €
Apreciatividad Laura Isanta / Buch Broschur
common.buy 18.09 €
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Buch Broschur
common.buy 24.89 €
El Libro de los Mundos Sheyla Preve / Buch Broschur
common.buy 11.79 €
Järjestelmävirhe / Buch Hardcover
common.buy 27.89 €
Demokratisierung der Raumplanung. Peter Knoepfel / Buch Broschur
common.buy 84.90 €
Les 25 plus belles balades faciles de la Haute Corse Quilici / Buch Broschur
common.buy 12.79 €
BELLEZA Y DESOLACIÓN / Buch Broschur
common.buy 21.09 €
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Buch Broschur
common.buy 10.69 €
5-3-1 Methode Dr. Martin Sewer / Buch Broschur
common.buy 16.80 €
Griechische Metallpanzer Arnold Hagemann / Buch Broschur
common.buy 26.90 €
Anbau von Heidelbeeren und Cranberries Georg Ebert / Buch Hardcover
common.buy 29.90 €
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Buch Broschur
common.buy 15.99 €
Taschenbuch der Mathematik Helmut Wörle / Buch Hardcover
common.buy 134.95 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Buch Broschur
common.buy 16.09 €
Alles für den Schein Rudolf Inderst / Buch Broschur
common.buy 89.90 €
Lara's Theme Detlef Wolf / Buch Broschur
common.buy 19.79 €
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Buch Broschur
common.buy 58.79 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Buch Broschur
common.buy 56.29 €
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Buch Broschur
common.buy 47.59 €

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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang, Gary D. Hachtel, Fabio Somenzi
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2006
Anzahl der Seiten 179
EAN 9780387341552
ISBN 0387341552
Libristo-Code 05247797
Verlag Springer-Verlag New York Inc.
Gewicht 1000
Abmessungen 155 x 235 x 16

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Elektrotechnik
EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Buch Broschur
common.buy 10.09 €
Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan / Buch Broschur
common.buy 13.29 €
Top
The Journey from Abandonment to Healing Susan Anderson / Buch Broschur
common.buy 16.59 €
Handbook of Dramatherapy Sue Jennings / Buch Hardcover
common.buy 172.99 €
Interface Oral Health Science 2016 Keiichi Sasaki / Buch Hardcover
common.buy 52.69 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Buch Broschur
common.buy 10.09 €
Caleb's Reading Log Martha Day Zschock / Buch Broschur
common.buy 8.79 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Buch Hardcover
common.buy 34.79 €
Deepening Your Marriage Jilene Scherbenske / Buch Broschur
common.buy 15.89 €
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Buch Broschur
common.buy 32.79 €
Wild Justice Kelley Armstrong / Buch Broschur
common.buy 13.79 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Buch Broschur
common.buy 17.79 €
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Buch Broschur
common.buy 86.39 €
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Buch Hardcover
common.buy 397.49 €
Waterville Phyllis Witzler / Buch Hardcover
common.buy 25.79 €
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 / Buch Hardcover
common.buy 27.89 €
Rethinking Social Action through Music GEOFFREY BAKER / Buch Broschur
common.buy 51.19 €
MLK: An American Legacy David J. Garrow / E-Book Adobe ePub DRM
common.buy 13.19 €
Market Development and Policy for One Belt One Road Achim I. Czerny / E-Book Adobe ePub DRM
common.buy 144.89 €
Short Literary History of the United States Klarer / Buch Hardcover
common.buy 166.49 €
Weaving CHristina Martin / Buch Broschur
common.buy 8.99 €
To The End of the Land David Grossman / Buch Broschur
common.buy 14.69 €
Cult and Canon: Origins and Development of State Maoism, 1935-78 Helmut Martin / Buch Hardcover
common.buy 134.69 €
Tragedy of the Royal Martyr, K. Charles I. the Second Edition. by Alexander Fyffe ... Alexander Fyfe / Buch Broschur
common.buy 15.59 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto