Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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 | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.