Gå direkt till innehållet
Abstraction Refinement for Large Scale Model Checking
Spara

Abstraction Refinement for Large Scale Model Checking

Lägsta pris på PriceRunner
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system.
Upplaga
2006 ed.
ISBN
9781489993953
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2014-12-06
Sidor
179