Abstraction Refinement for Large Scale Model Checking

Name: Abstraction Refinement for Large Scale Model Checking
Brand: Springer-Verlag New York Inc.
SKU: 05247797
Price: 118.29 EUR
Availability: InStock
Author: Chao Wang
ISBN: 9780387341552

Chao Wang

Gary D. Hachtel

Fabio Somenzi

Sprache

Englisch

Buch Hardcover

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

Libristo-Code: 05247797

290 b

118.29 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

5-3-1 Methode Dr. Martin Sewer

Broschur

16.80 €

Izabela ratuje wróżki. Duże litery. Opowiadania do nauki czytania Agata Giełczyńska-Jonik

Broschur

2.39 €

Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard

Broschur

24.89 €

BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh

Broschur

29.49 €

HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT

Broschur

10.69 €

La Riviera de Charles Garnier Michel

Broschur

13.99 €

Juan Bauptista Martnez del Maso SOLANO OROPESA

Broschur

8.49 €

Järjestelmävirhe

Hardcover

27.89 €

Demokratisierung der Raumplanung. Peter Knoepfel

Broschur

99.90 €

Les 25 plus belles balades faciles de la Haute Corse Quilici

Broschur

12.69 €

BELLEZA Y DESOLACIÓN

Broschur

20.99 €

ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur

Broschur

52.79 €

Apreciatividad Laura Isanta

Broschur

18.09 €

Erfolgstechniken Max Frankes

Broschur

39.99 €

Griechische Metallpanzer Arnold Hagemann

Broschur

26.90 €

El Libro de los Mundos Sheyla Preve

Broschur

11.79 €

Anbau von Heidelbeeren und Cranberries Georg Ebert

Hardcover

29.90 €

Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA

Broschur

13.89 €

Yunus, Ne Hos Demissin Besir Ayvazoglu

Broschur

17.79 €

Taschenbuch der Mathematik Helmut Wörle

Hardcover

134.95 €

Alles für den Schein Rudolf Inderst

Broschur

89.90 €

La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F

Broschur

14.99 €

Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone

Broschur

44.39 €

Lara's Theme Detlef Wolf

Broschur

19.69 €

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

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

Mediocrity is Not an Option: Targeting professional success Robert M Chiusano

Broschur

18.19 €

The Journey from Abandonment to Healing Susan Anderson

Broschur

16.59 €

Handbook of Dramatherapy Sue Jennings

Hardcover

172.99 €

Interface Oral Health Science 2016 Keiichi Sasaki

Hardcover

52.69 €

Uncommon Friends James D. Newton

Broschur

17.89 €

Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon

Broschur

10.09 €

Caleb's Reading Log Martha Day Zschock

Broschur

8.79 €

Practical Clinical Guide to Resin Cements Michelle Sunico-Segarra

Broschur

73.69 €

GENERAL SCHOOL LAWS W/AN APPEN Michigan

Hardcover

34.79 €

Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors Peter W. de Vries

Broschur

69.89 €

Deepening Your Marriage Jilene Scherbenske

Broschur

15.89 €

A Memoir of Holstein: An Engineer Traces His Origin: A Memoir of Holstein: An Engineer Traces His Origin Gary G Ruhser

Broschur

16.39 €

Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous

Broschur

32.79 €

Birth of an Opera Michael Rose

Hardcover

35.59 €

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge

Broschur

10.09 €

Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller

Broschur

17.79 €

Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury

Broschur

86.39 €

CRC Handbook of Ayurvedic Medicinal Plants KAPOOR

Hardcover

419.19 €

52 Things Sarah Wants David To Know: A Different Way To Say It Levy

Broschur

14.49 €

Waterville Phyllis Witzler

Hardcover

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

Hardcover

27.89 €

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

Broschur

16.39 €

Rethinking Social Action through Music GEOFFREY BAKER

Broschur

51.19 €

MLK: An American Legacy David J. Garrow

Adobe ePub DRM

18.29 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

Abstraction Refinement for Large Scale Model Checking

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Häufig gesucht

Categories

Authors

Publishers

Abstraction Refinement for Large Scale Model Checking

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

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