Вы здесь
De Man H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Software Synthesis for Real-Time Information Processing Systems | 1995 | Thoen F., Cornero M., Goossens G., De Man H. | SIGPLAN Notices | 25.12.1995 | |||
| СТ | Reasoning About a Class of Linear Systems of Equations in HOL | 1994 | Angelo C. M., Claesen L., De Man H. | Lecture Notes in Computer Science | 24.11.1994 | |||
| СТ | Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL | 1994 | Angelo C. M., Claesen L., De Man H. | Lecture Notes in Computer Science | 18.06.1994 |