Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

510.65
С 50Смальян, Р. М.
    Теория формальных систем [Текст] : Пер. с англ. / Под ред. Н.А. Шанина. — М. : Наука, 1981. — 207 с.

- Ключові слова:

формальні методи, формальные методы.formal methods

- Теми документа

  • УДК // Логічно-математичні теорії. Формальна арифметика. Формальна теорія чисел



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 2 Перейти на сайт