| |||
| хоаровская логика (формализм для частичного доказательства правильности программ ssn); логика Хоара (научная основа для конструирования корректных программ, используется для определения и разработки языков программирования ssn) | |||
| |||
| хоаровская логика (формализм для частичного доказательства правильности программ ssn); логика Хоара (научная основа для конструирования корректных программ, используется для определения и разработки языков программирования ssn) | |||
