Dill, David L. Trace theory for automatic hierarchical verification of speed-independent circuits / David L. Dill. — Cambridge, Massachusetts; London, England: MIT Press, 2003. — 1 PDF (163 p.): ill. — (ACM distinguished dissertations). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249>. — Текст: электронный
Период | Чтение | Печать | Копирование | Открытие | Итого |
---|---|---|---|---|---|
Вчера | 0 | 0 | 0 | 0 | 0 |
Последние 30 дней | 0 | 0 | 0 | 0 | 0 |
Последние 365 дней | 0 | 0 | 0 | 5 | 5 |
За все время | 0 | 0 | 0 | 17 | 17 |