Вы здесь
Harman N. A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Verifying a Simple Pipelined Microprocessor Using Maude | 2001 | Harman N. A. | Lecture Notes in Computer Science | 03.03.2002 | |||
| СТ | Algebraic models of microprocessors. Architecture and organisation | 1996 | Harman N. A., Tucker J. V. | Acta Informatica | 20.09.1996 | |||
| СТ | Algebraic Models and the Correctness of Microprocessors | 1993 | Harman N. A., Tucker J. V. | Lecture Notes in Computer Science | 29.06.1993 |