Электронный каталог


    страница из 1
    всего найдено записей: 1,
      отображать

    Чушкин М.С. Генерация и доказательство условий корректности предикатных программ / М. С. Чушкин, В. И. Шелехов, 2012. - 49 с. - Текст : непосредственный.