Siirry suoraan sisältöön
  1. Kirjat
  2. Tietokirjallisuus
  3. Tiede ja tekniikka

Abstraction Refinement for Large Scale Model Checking

144,60 €

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system.

Painos
2006
ISBN
9780387341552
Kieli
englanti
Paino
518 grammaa
Julkaisupäivä
20.7.2006
Sivumäärä
179