Skip to content
  • Language
    • English
    • Русский

Advanced
  • Search
  • Вычислительные системы:...
  • Cite this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Вычислительные системы: Сборник научных трудов/

Вычислительные системы: Сборник научных трудов/ Вып. 152, Теория вычислений и языки спецификаций

Bibliographic Details
Format: Book
Language:Russian
Published: Новосибирск 1995
Subjects:
теория вычислений
языки спецификаций
программирование
семантическое программирование
прикладная логика
программная логика
ресурсная динамическая логика
RDL
S-программы
языки действий
естественные языки
СИГМА-Т3
теория алгоритмов
вычислительные системы
Online Access:Перейти в каталог Библиотеки ТУСУР
  • Holdings
  • Description
  • Similar Items
  • Staff View
Description
Physical Description:220 с.

Similar Items

  • Вычислительные системы: Сборник научных трудов/
    Published: (1991)
  • Вычислительные системы: Сборник научных трудов/
    Published: (1988)
  • Вычислительные системы: Сборник научных трудов/
    Published: (1993)
  • Вычислительные системы: Сборник научных трудов/
    Published: (1990)
  • Вычислительные системы: Сборник научных трудов/
    Published: (1989)
|   Advanced Search   |   Search Tips   |

Большой университет Томска
https://university-tomsk.ru/
Loading...