Программная логика

Семантика трансформатора предиката Основы логики Хоара Логика Хоара – это формальная система, разработанная для описания программ с точки зрения их […]