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

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

    Rigorous Software Development : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa., 2011 r=on-line (Введено оглавление). - Текст : электронный.