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


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

    Apt K. Verification of sequential and concurrent programs / K. Apt, F. Boer, E. Olderog, 2009 r=on-line. - Текст : электронный.