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