Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Mathematical Principles of Mechanics and Electromagnetism
E-bok,
2013,
Engelska,
ISBN 9781468435368
Mathematical Principles of Mechanics and Electromagnetism
E-bok,
2013,
Engelska,
ISBN 9781468435399
Abstraction Refinement for Large Scale Model Checking
E-bok,
2006,
Engelska,
ISBN 9780387346007
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of …