Связанные научные тематики:
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 




 Найдено научных статей и публикаций: 1, для научной тематики: Качество программ

1.

Об автоматизированной спецификации, верификации и синтезе управляющих программ реального времени на базе логического и алгебраического подходов (публикация автора на scipeople)   

Тюгашев А.А. - Сб.докладов международного симпозиума "Надежность и качество" , 2006
об алгебре и логическом исчислении управляющих алгоритмов...