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

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

510.6(07)
Д95Дюбко, Г. Ф.
    Введение в формальные системы [Текст] : учебник / Г.Ф. Дюбко. — К. : УМК ВО, 1992. — 169 с.
ISBN 5-7763-1337-6

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

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

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

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



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