• English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Advanced
  • Структурированные системы пере...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Структурированные системы переходов

Структурированные системы переходов

Bibliographic Details
Main Author: Кузьмин Е. В. Егор Владимирович
Other Authors: Соколов В. А. Валерий Анатольевич
Language:Russian
Published: Москва, Физматлит, 2006
Subjects:
вычислительные машины
параллельные системы
распределенные системы
помеченные переходы
структурированные системы
счетчиковые машины
системы переходов
темпоральные свойства
моделирование
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=70540
  • Holdings
  • Description
  • Similar Items
  • Staff View

Similar Items

  • Проектирование цифровых вычислительных устройств на интегральных схемах: пер. с англ.
    by: Хоуп Г. Гордон
    Published: (Москва, Мир, 1984)
  • Верификация моделей программ: Model Checking: пер. с англ.
    by: Кларк, мл. Э. М. Эдмунд М.
    Published: (Москва, МЦНМО, 2002)
  • Онтологические системы перехода и их применение к семантике компьютерных языков; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
    by: Ануреев И. С. Игорь Сергеевич
    Published: (2013)
  • Системная информатика: Сборник научных трудов; Вып. 7; Проблемы теории и методологии создания параллельных и распределенных систем
    Published: (Новосибирск, Наука, 2000)
  • [Вып. 43] : Вычислительные машины и системы с перестраиваемой структурой; Вопросы кибернетики
    Published: (1978)