Открытая электронная библиотека научно-образовательных ресурсов Оренбуржья
Проект выполнен при поддержке Правительства Оренбургской области, Оренбургского регионального отделения Партии «Единая Россия» и Министерства образования Оренбургской области
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elib.osu.ru/handle/123456789/7368| Название: | Теория вычислительных процессов : учеб. пособие |
| Авторы: | Ишакова, Е. Н. |
| Ключевые слова: | вычислительная техника программирование верификация программ сети Петри |
| Дата публикации: | 2007 |
| Издатель: | ГОУ ОГУ |
| Аннотация: | В пособии рассмотрены основы теоретического программирования: теория схем программ, семантическая теория программ, теория параллельных вычислений, теория протоколов и интерфейсов. Теоретический материал дополнен примерами и задачами с решениями. Учебное пособие предназначено для студентов, обучающихся по программам высшего профессионального образования по специальности 230105.65 «Программное обеспечение вычислительной техники и автоматизированных систем», при изучении дисциплины «Теория вычислительных процессов». |
| URI: | http://elib.osu.ru/handle/123456789/7368 |
| Располагается в коллекциях: | Учебники, учебные пособия |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 2486_20110921.pdf | 1,22 MB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.