Основы объектно-ориентированного программирования


              

Выражение спецификаций


От неформальных высказываний перейдем к простой математической нотации, принятой в теории формальной проверки правильности программ и имеющей ценность при доказательстве корректности программных элементов.



Содержание  Назад  Вперед