Decision problems in systolic circuit verification
Edición de la obra Decision problems in systolic circuit verification
| Autor | Parosh Aziz Abdulla |
|---|---|
| Editorial | Dept. of Computer Systems, Uppsala University |
| Fecha de publicación | 1990 |
| Lugar | Uppsala |
| Idioma | inglés |
| Páginas | 191 |
| OCLC | 37299224 |
| Serie | DoCS -- 90/21 · DoCS (Uppsala Universitet. Department of Computer Systems) -- 90/21 |
| Número de Cutter | A136d |