Web Analytics
DICTIONARY
TTS Voice
 virtual keyboard

Russian English Modern Computing Dictionary and Phrasebook








    исчисление программ

    program calculus Система правил построения программы для решения определенной задачи. Используется в процессе разработки и отладки программ и при автоматическом синтезе программ в интеллектуальных системах программирования.