Теория вычислительных процессов
Калайда В.Т.
Томск.: ТУСУР, 2012 г. - 153 с.
Методическое пособие для студентов специальности 230105
«Программное обеспечение вычислительной техники и автоматизированных систем»
В пособии «Теория вычислительных процессов» рассматриваются вопросы семантической теория программ; схем программ, методов формальной спецификации и верификации; моделей вычислительных процессов; взаимодействия процессов.
Методическое пособие для студентов специальности 230105
«Программное обеспечение вычислительной техники и автоматизированных систем»
В пособии «Теория вычислительных процессов» рассматриваются вопросы семантической теория программ; схем программ, методов формальной спецификации и верификации; моделей вычислительных процессов; взаимодействия процессов.
Litres
غواړئ کتاب پلورنځي ته اضافه وکړئ؟ مونږ سره د support@z-lib.do له لارې اړیکه ونیسئ
File converter
د لټون نورې نبیجې
More benefits 
![Гарри Рой Льюис — Идеи, определившие облик информатики [2023]](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/997cdf851f00b57c8b7e8f990f47a33566589da4d27133439c43ac441fd411f9.png)
