Результаты поиска
|
|
1.
|
|
|
|
|
2.
|
|
|
|
|
3.
|
|
КнигаСимуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL = Simulation and verification of static SDL specifications of distributed systems by help of the intermediate language REAL / В.А. Непомнящий, Е.В. Бодин, С.О. Веретнов, М.В. ТюрюшкинНепомнящий, Валерий Александрович, Автор ;
Бодин, Евгений Викторович, Автор ;
Веретнов, С. О., Автор ;
Тюрюшкин, М. В., Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/14165 (2).
|
|
|
4.
|
|
|
|
|
5.
|
|
|
|
|
6.
|
|
|
|
|
7.
|
|
КнигаМоделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. ВеретновНепомнящий, Валерий Александрович, АвторБодин, Евгений Викторович, Автор ;
Веретнов, С. О., Автор2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2010-4/14176 (2).
|
|
|
8.
|
|
|
|
|
9.
|
|
|
|
|
10.
|
|
|