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

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

    Apt K.R. Verification of sequential and concurrent programs / K.R.Apt,E.R.Olderog, 1997. - XVII,364 p. p. - Текст : непосредственный.