Технология программирования
Информатика и вычислительная техника
  • формат pdf
  • размер 1,32 МБ
  • добавлен 05 июня 2013 г.
Калайда В.Т. Теория вычислительных процессов
Томск.: ТУСУР, 2012 г. - 153 с.
Методическое пособие для студентов специальности 230105
«Программное обеспечение вычислительной техники и автоматизированных систем»
В пособии «Теория вычислительных процессов» рассматриваются вопросы семантической теория программ; схем программ, методов формальной спецификации и верификации; моделей вычислительных процессов; взаимодействия процессов.
Похожие разделы