Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL
2007-4/14165 2007-4/14165 [2007-45521]/русский (rus)/Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL = Simulation and verification of static SDL specifications of distributed systems by help of the intermediate language REAL / В.А. Непомнящий, Е.В. Бодин, С.О. Веретнов, М.В. Тюрюшкин.Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL / В.А. Непомнящий, Е.В. Бодин, С.О. Веретнов, М.В. Тюрюшкин.Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL = Simulation and verification of static SDL specifications of distributed systems by help of the intermediate language REAL.Новосибирск/Институт систем информатики/, 2007 ( ). - Институт систем информатики, 2007. - 69 с. : ил. ; 21 см. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 142).Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL. Новосибирск, 2007 .
Рез. на англ. яз. - Библиогр.: с. 68-69 (23 назв.). Библиогр.: с. 68-69 (23 назв.).Simulation and verification of static SDL specifications of distributed systems by help of the intermediate language REAL/Распределенные вычислительные системы -- Программирование/SDL, язык программирования/REAL, язык программирования/З973.202-018/
Рез. на англ. яз. - Библиогр.: с. 68-69 (23 назв.). Библиогр.: с. 68-69 (23 назв.).Simulation and verification of static SDL specifications of distributed systems by help of the intermediate language REAL/Распределенные вычислительные системы -- Программирование/SDL, язык программирования/REAL, язык программирования/З973.202-018/