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

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

    Непомнящий В.А. A new language Basic-Real for specification and verification of distributed system models / В. А. Непомнящий, N. V. Shilov, E. V. Bodin, 1999. - 39 p. - Текст : непосредственный.