Методы формального описания, верификации и реализации сетевых протоколов с использованием теории сетей Петри
Язык: русский.Выходные данные: Владивосток : ИАПУ, 1984Физическая характеристика: 40 с. : ил. ; 20 см.Серия: Препринт ; № 9 (118)Библиография: Библиогр.: с. 34-40. Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 85-4/14651 (Просмотр полки(Открывается ниже)) | Доступно | 6302586-10 |
Библиогр.: с. 34-40