Методы формального описания, верификации и реализации сетевых протоколов с использованием теории сетей Петри
1784
Купить
Краткое содержание:
Экранизация книги

Методы формального описания, верификации и реализации сетевых протоколов с использованием теории сетей Петри

Автор:
Анисимов Николай Александрович
Год:
1984
Язык:
Русский
Страниц:
40
Заглавие серии:
Препринт / АН СССР, Дальневост. науч. центр, Ин-т автоматики и процессов упр. с ВЦ ; № 9 (118)
Описание:
Анисимов Н.А. Методы формального описания, верификации и реализации сетевых протоколов с использованием теории сетей Петри. - Владивосток : ИАПУ, 1984. - 40 с. : ил. ; 20 см. - (Препринт / АН СССР, Дальневост. науч. центр, Ин-т автоматики и процессов упр. с ВЦ ; № 9 (118)). - Библиогр.: с. 34-40
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр.: с. 34-40
Дата создания:
2020-03-21 21:49:01
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Методы формального описания, верификации и реализации сетевых протоколов с использованием теории сетей Петри

Заказать реферат Узнать стоимость Скачать пример
Моделирование атак: искусственный интеллект против естественных ошибок (Евгений Тумоян)
В докладе рассматриваются моделирование атак и преимущества, которые оно может дать при оценке безопасности и рисков. Описываются основные ...
Positive Technologies
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Методы формального описания, верификации и реализации сетевых протоколов с использованием теории сетей Петри
Опросы
книга имеет отношение к сектам?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Методы формального описания, верификации и реализации сетевых протоколов с использованием теории сетей Петри

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
TMPA School 2018: Формальная верификация смарт-контрактов для платформ на технологии блокчейн.День 1
Первая часть лекции «Формальная верификация смарт-контрактов для платформ на технологии блокчейн», в которой Ростислав Яворский объясняет, ...
Exactpro Vlog
Рецензии и отзывы
Егор Петров
Методы формального описания, верификации и реализации сетевых протоколов с использованием теории сетей Петри. В произведении может отсутствовать повествование, но можно использовать этот материал как отправную точку для исследования данного направления в литературе и представить его в виде серии уникальных рецептов
Прикрепить файл
Похожие книги
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.