Вы здесь
Basin D. A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Verification Based on Monadic Logic | 1996 | Basin D. A. | Basic Research in Computer Science | 21.01.1997 | |||
| СТ | Generic System Support for Deductive Program Development | 1996 | Ayari A., Basin D. A. | Lecture Notes in Computer Science | 24.04.1996 | |||
| СТ | Hardware Verification using Monadic Second-Order Logic | 1995 | Basin D. A., Klarlund N. | Lecture Notes in Computer Science | 26.07.1995 | |||
| СТ | Logic Frameworks for Logic Programs | 1994 | Basin D. A. | Lecture Notes in Computer Science | 12.01.1995 |