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

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

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Automated technology for verification and analysis / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.

    Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.