Подробности: Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL

Книга

Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL = Simulation and verification of static SDL specifications of distributed systems by help of the intermediate language REAL / В.А. Непомнящий, Е.В. Бодин, С.О. Веретнов, М.В. Тюрюшкин

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

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Кол-во копий	Статус	Срок возврата	Штрих-код
Книга	РНБ (Московский) Русский книжный фонд: издания с 1957 года	2007-4/14165 (Просмотр полки(Открывается ниже))	2428	Доступно		2488237
Книга	РНБ (Московский) Русский книжный фонд: издания с 1957 года	2007-4/14165 (Просмотр полки(Открывается ниже))	2428	Доступно		2488238

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

Библиогр.: с. 68-69 (23 назв.)