Калайда В.Т. Теория вычислительных процессов

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