Test pattern generation using Boolean proof engines
Edición de la obra Test pattern generation using Boolean proof engines
| Autor | Rolf Drechsler |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2009 |
| Lugar | Dordrecht, New York |
| Idioma | inglés |
| Páginas | 192 |
| ISBN-13 | 9789048123599, 9789048123605 |
| ISBN-10 | 9048123593, 9048123607 |
| OCLC | 310401082 |
| LCCN | 2009926161 |
| Número de Cutter | D771t |