• Помощь
  • Корзина ( 0 )
  • Регистрация
  • Вход

    • Изготовление электронных копий любых изданий

    Помощь     Корзина ( 0 ) Регистрация Вход
    Изготовление электронных копий любых изданий
    О Проекте Каталог Поиск


    Чурина, Т. Г.
      Способ построения раскрашенных сетей Петри, моделирующих SDL - системы = Coloured Petri nets approach to the validation of SDL - specifications Т. Г. Чурина
      Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications Т. Г. Чурина
    о проекте|каталог|поиск|помощь

    copyright (c) 2010-2024 any-book.ru