Вы здесь
Boute R. T.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | The Euclidean Definition of the Functions div and mod | 1992 | Boute R. T. | ACM Trans. Programming Languages and Systems | 05.05.1992 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Teaching Formal Methods: Proc./CoLogNET/FME Symposium, TFM 2004. Ghent, Belgium, November 2004 | 2004 | Lecture Notes in Computer Science |
|
22.01.2005 |