Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elib.osu.ru/handle/123456789/7368
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Ишакова, Е. Н. | - |
dc.date.accessioned | 2018-09-03T17:55:33Z | - |
dc.date.available | 2018-09-03T17:55:33Z | - |
dc.date.issued | 2007 | - |
dc.identifier.uri | http://elib.osu.ru/handle/123456789/7368 | - |
dc.description.abstract | В пособии рассмотрены основы теоретического программирования: теория схем программ, семантическая теория программ, теория параллельных вычислений, теория протоколов и интерфейсов. Теоретический материал дополнен примерами и задачами с решениями. Учебное пособие предназначено для студентов, обучающихся по программам высшего профессионального образования по специальности 230105.65 «Программное обеспечение вычислительной техники и автоматизированных систем», при изучении дисциплины «Теория вычислительных процессов». | ru |
dc.language.iso | ru | ru |
dc.publisher | ГОУ ОГУ | ru |
dc.subject | вычислительная техника | ru |
dc.subject | программирование | ru |
dc.subject | верификация программ | ru |
dc.subject | сети Петри | ru |
dc.title | Теория вычислительных процессов : учеб. пособие | ru |
dc.type | Other | ru |
Располагается в коллекциях: | Учебники, учебные пособия |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
2486_20110921.pdf | 1,22 MB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.