Next:
2.3.1 Зачем нужны доказательства
Up:
2. Простейшие программы
Previous:
2.2.8 Упражнения
2.3 Доказательство свойств программ
2.3.1 Зачем нужны доказательства правильности?
2.3.2 Внешняя спецификация программы
2.3.3 Утверждения как множества состояний
2.3.4 Метод промежуточных утверждений
2.3.5 Упражнения
© В.Н. Касьянов, Е.В.Касьянова, 2004
