High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability
Edición de la obra High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability
| Autor | Rolf Drechsler |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2012 |
| ISBN-13 | 9781441999757 |
| Número de Cutter | D771h |