Доказательство правильности программ

Схожие документы

• Доказательство правильности программ =Proving programs correct
  по: Андерсон Р.
  Опубликовано: (1982)
• Математическая логика и автоматическое доказательство теорем
  по: Чень Ч., Ли Р.
  Опубликовано: (1983)
• Математическая логика и автоматическое доказательство теорем
  по: Чень, Ч.; Тян-Ли, Р.
  Опубликовано: (1983)
• Задачи на доказательство по алгебре Пособие для учителя
  по: Баранова И.В., Ляпин С.Е
  Опубликовано: (1954)
• Сборник задач на доказательство по геометрии для 6-7 классов Пособие для учителей
  по: Немытов П.А
  Опубликовано: (1956)