Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Abstraction Refinement for Large Scale Model Checking

Name: Abstraction Refinement for Large Scale Model Checking
Brand: Springer-Verlag New York Inc.
SKU: 09165444
Price: 131.79 EUR
Availability: InStock
Author: Fabio Somenzi
ISBN: 9781489993953

Fabio Somenzi

Sprache

Englisch

Buch Broschur

Libristo-Code: 09165444

Verlag Springer-Verlag New York Inc., Dezember 2014

This book summarizes recent research on abstraction techniques for model checking large digital syst... Vollständige Beschreibung

Libristo-Code: 09165444

323 b

131.79 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner

Broschur

42.21 €

A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga

Broschur

11.39 €

Nagy rejtvénykönyv 11. Kresz Károly (Szerk.)

Broschur

7.09 €

Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P

Broschur

8.89 €

Saxophon ab 130 Matthias Böyer

Broschur

24.90 €

SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA

Hardcover

7.99 €

Grandes escaladas BONINGTON

Broschur

15.29 €

Els plats dolços del cardenal Despuig Antonio Contreras Mas

Broschur

12.49 €

Benim Ilk Hikayelerim - Ormanin Kitabi Kolektif

Broschur

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

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 Fabio Somenzi

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2014

Anzahl der Seiten 179

EAN 9781489993953

ISBN 9781489993953

Libristo-Code 09165444

Verlag Springer-Verlag New York Inc.

Gewicht 257

Abmessungen 210 x 2 x 11

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