Подробности: Применение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL

Книга

Применение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL = Application of Dynamic-REAL language for analysis and verification of distributed systems specified in the language SDL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов

Автор: Непомнящий, Валерий Александрович (1939-) -- Автор Автор (Альтер.): Бодин, Евгений Викторович -- Автор ;Веретнов, С. О. -- АвторПараллельное заглавие: : z11790Application of Dynamic-REAL language for analysis and verification of distributed systems specified in the language SDL, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Институт систем информатики, 2011Физическая характеристика: 52 с. : ил. ; 21 см.Серия: Препринт ; 161Примечания: Авт. также на англ. яз.: V.A. Nepomniaschy, E.V. Boodin, S.O. Veretnov; Рез. на англ. яз..Библиография: Библиогр.: с. 34-35 (17 назв.).Предметная рубрика - Тема: SDL, язык программирования | DYNAMIC-REAL, язык программирования Неконтролируемые предметные термины: верификация распределенных систем | анализ распределенных систем Другие классификации: ( rubbk ) З968.5-01с116,0 ; ( rubbk ) З973.233-018.19Dynamic-REAL,0 ; З973.202-018.1 ; З973.2-018.1 Тип экземпляра: Книга

Нет реальных экземпляров для этой записи

Авт. также на англ. яз.: V.A. Nepomniaschy, E.V. Boodin, S.O. Veretnov

Рез. на англ. яз.

Библиогр.: с. 34-35 (17 назв.)