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

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

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

    Formal methods for components and objects : 6th International symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007: revised lectures / ed. F. Boer, 2008 r=on-line. - Текст : электронный.

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