Вычислительные системы: Сборник научных трудов/ Языки спецификаций и логическое программирование/науч. ред.: Ю. Л. Ершов, С. С. Гончаров
| Other Authors: | , |
|---|---|
| Format: | Book |
| Published: |
Новосибирск:
Институт математики
1988
|
| Subjects: | |
| Online Access: | Перейти в каталог Библиотеки ТУСУР |