Моделирование спецификаций языка SDL с помощью модификационных ИВТ-сетей = Modeling SDL specifications using modified HTT-nets / Т. Г. Чурина, В. С. Аргиров
Параллельное заглавие: : z11790Modeling SDL specifications using modified HTT-nets, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН (ЗАО РИЦ Прайс-курьер), 2005Физическая характеристика: 62 с. : ил. ; 21 см.Серия: Препринт ; 124Примечания: Авт. также на англ. яз.: Tatyana G. Churina, Victor S. Argirov.Библиография: Библиогр.: с. 60-62 (22 назв.).Предметная рубрика - Тема: SDL, язык программирования | Петри сети Неконтролируемые предметные термины: Вычислительная техника -- Вычислительные машины электронные цифровые -- Языки программирования -- SDLДругие классификации: ( ) З973.2-018.19SDL,0 ; З973.202-018.1Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2006-4/4546 (Просмотр полки(Открывается ниже)) | Доступно | 2206439 | |||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2006-4/4546 (Просмотр полки(Открывается ниже)) | 4208 | Доступно | 2132122 |
Авт. также на англ. яз.: Tatyana G. Churina, Victor S. Argirov
Сети Петри
Библиогр.: с. 60-62 (22 назв.)