Könyv Abstraction Refinement for Large Scale Model Checking Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking

Szerző: Fabio Somenzi
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
42 308 Ft
This book summarizes recent research on abstraction techniques for model checking large digital syst...

Információk a könyvről

Szerző
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2014
oldal
179
EAN
9781489993953
ISBN
9781489993953
Enbook ID
09165444
Súly
257
Méretek
210 x 2 x 11

Teljes leírás

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

Érdekelheti

18 596 Ft

Da Nang Bound -- A Legacy of War

MR Frank William Skilbeck
4 519 Ft

Becoming Peace

Kamra Smith
6 483 Ft

Birth of a Nation

D.W. Griffith
10 961 Ft

Lore

Craig Saunders
4 192 Ft
5 788 Ft

Tetherball

Jessica Coupé
4 564 Ft
7 747 Ft
41 698 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

5 958 Ft

SOÑANDO EN LA MAR AMARGA

FEDERICO GARCIA LORCA
2 901 Ft
14 189 Ft
4 806 Ft

Saxophon ab 130

Matthias Böyer
9 285 Ft

Nagy rejtvénykönyv 11.

Kresz Károly (Szerk.)
3 221 Ft