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

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