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

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

    Verification, induction, termination analysis : festschrift for Christoph Walther on the occasion of his 60th birthday / ed. S. Siegler, 2010 r=on-line. - Текст : электронный.