Вы здесь
Cansell D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Predicate Diagrams for the Verification of Reactive Systems | 2000 | Cansell D., Mery D., Merz S. | Lecture Notes in Computer Science | 30.11.2000 | |||
| СТ | PASCAL, un langage applicatif! Une experience pedagogiquea l UFR de l Universite de Metz | 1991 | Cansell D. | BIGRE | 11.09.1991 |