Вы здесь
Mussat L.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Introducing Dynamic Constraints in B | 1998 | Abrial J. -R., Mussat L. | Lecture Notes in Computer Science | 17.06.1998 | |||
| СТ | GAMMA: Un formalisme pour la construction de programmes paralleles | 1989 | Banatre J., Le Metayer D., Mussat L. | BIGRE | 07.02.1991 |