1. ОЭБ «Оренбуржья»
  2. ФГБОУ ВО «Оренбургский государственный университет»
  3. Учебники, учебные пособия
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elib.osu.ru/handle/123456789/7368
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorИшакова, Е. Н.-
dc.date.accessioned2018-09-03T17:55:33Z-
dc.date.available2018-09-03T17:55:33Z-
dc.date.issued2007-
dc.identifier.urihttp://elib.osu.ru/handle/123456789/7368-
dc.description.abstractВ пособии рассмотрены основы теоретического программирования: теория схем программ, семантическая теория программ, теория параллельных вычислений, теория протоколов и интерфейсов. Теоретический материал дополнен примерами и задачами с решениями. Учебное пособие предназначено для студентов, обучающихся по программам высшего профессионального образования по специальности 230105.65 «Программное обеспечение вычислительной техники и автоматизированных систем», при изучении дисциплины «Теория вычислительных процессов».ru
dc.language.isoruru
dc.publisherГОУ ОГУru
dc.subjectвычислительная техникаru
dc.subjectпрограммированиеru
dc.subjectверификация программru
dc.subjectсети Петриru
dc.titleТеория вычислительных процессов : учеб. пособиеru
dc.typeOtherru
Располагается в коллекциях:Учебники, учебные пособия

Файлы этого ресурса:
Файл Описание РазмерФормат 
2486_20110921.pdf1,22 MBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.