Вычислительные системы: Сборник научных трудов/ Вып. 139, Теория вычислимости и языки спецификаций: сборник научных трудов/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров
| Другие авторы: | , |
|---|---|
| Формат: | Книга |
| Публикация: |
Новосибирск:
Институт математики
1991
|
| Предметы: | |
| Online-ссылка: | Перейти в каталог Библиотеки ТУСУР |