> -- Comdiv писал(а):
> Написание программ под доказательство без проведения полного подтверждения - это эффективный способ создания обычных программ.
Спасибо за пояснение, вас понял, не вижу смысла продолжать дискуссию.