Информация о ресурсе
Автор(ы):
Рабинович Е. В.
Заглавие:
Теория вычислительных процессов
: учебник
Выходные данные:
Новосибирск : Изд-во НГТУ, 2007
Полный текст:
Тип:
учебники
Предметная область:
вычислительная техника
Ключевые слова:
обработка данных
вычислительные процессы
схемы программ
стандартные схемы
рекурсивные схемы
семантика программ
верификация программ
протоколы программ
параллельные процессы
Петри сети
параллельные вычисления
вычислительные процессы
схемы программ
стандартные схемы
рекурсивные схемы
семантика программ
верификация программ
протоколы программ
параллельные процессы
Петри сети
параллельные вычисления
Кафедра/
подразделение-разработчик:
подразделение-разработчик:
каф. ВТ (факультет АВТФ)
Лицензионные договоры:
лицензионные договоры не внесены