Вы здесь

Главная

доказательство правильности

Связанные издания:

Working Material for the Lectures of K.R. Apt: International Summer School "Control Flow and Data Flow", Munich, Germany, August, 1984
Программная инженерия и технологии программирования сложных систем. Учебник для ВУЗов, 2-е издание, исправленное и дополненное