О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри
1385
Купить
Краткое содержание:
Экранизация книги

О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри

Автор:
Ковалев Андрей Владимирович
Год:
1990
Язык:
Русский
Заглавие серии:
Препринт / АН БССР. Ин-т техн. кибернетики ; № 20
Описание:
Ковалев А.В. О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри. - Минск : ИТК, 1990. - 28, [2] с. : ил. ; 20 см. - (Препринт / АН БССР. Ин-т техн. кибернетики ; № 20). - Библиогр.: с. 28-29 (17 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр.: с. 28-29 (17 назв.)
Дата создания:
2020-05-03 14:45:31
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри
Опросы
книга имеет отношение к сектам?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна бібліотека ім. І.Я. Франка, ФОП Шуманський К. С.
Харьковская область, Харьков, Новобаварский район
Полтавский шлях, 57/59
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +380 (57) 712-46-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №30
Одесская область, Одесса, Суворовский район, Посёлок Котовского м-н
Крымская, 58
Расположение на карте
санитарный день: последняя пт месяца
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-18:00
Вс: 09:30-18:00
 +380 (482) 52-78-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7
Павлодарская область, Павлодар
Торайгырова, 18
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (7182) 53-84-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека №14
Москва, Москва, Замоскворечье район
Дубининская, 20
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
cbscao.ru
nauchka.ru
 +7 (499) 235-41-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центр культурного наследия им. Н.С. Гумилева
Москва, Москва, Фили-Давыдково район
Кременчугская, 22
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
Вконтакте:  https://vk.com/bib_gumileva
Facebook:  https://facebook.com/1426334047624681?hc_ref=ARSp5hBfd3ADkopgcBfOv8jb0B2TLzGKiICshd_LxbBAgYko-yjldH-Gm10zyOrz8fI
 +7 (499) 449-34-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Пермская государственная ордена Знак Почета краевая универсальная библиотека им. А.М. Горького
Пермский край, Пермь городской округ, Пермь, Ленинский район, Центр
Ленина, 70
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-17:00
Сб: 10:00-17:00
Вс: 10:00-17:00
www.gorkilib.ru
Вконтакте:  https://vk.com/gorkilibrary
Инстаграм:  https://instagram.com/gorkilibrary
Facebook:  https://facebook.com/gorkilibrary
Одноклассники:  https://ok.ru/gorkilibrary
Youtube:  https://youtube.com/user/permgkub
 +7 (342) 236-20-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4
Пермский край, Березники городской округ, Березники, Усольский
Ивана Дощеникова, 22
Расположение на карте
санитарный день: последний рабочий день месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-17:00
 +7 (3424) 27-67-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Кировская Центральная Библиотека
Ленинградская область, Кировский район, Кировск
Набережная, 1 к5
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 11:00-18:00
kirovsk.47lib.ru
 +7 (81362) 2-22-06 +7 (81362) 2-69-16
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2
Челябинская область, Магнитогорский городской округ, Магнитогорск, Орджоникидзевский район, 131-й микрорайон
Карла Маркса проспект, 186
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.ogbmagnitka.ru
Вконтакте:  https://vk.com/club63305143
 +7 (3519) 35-59-22 +7 (3519) 34-37-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8
Забайкальский край, Чита городской округ, Чита, Ингодинский район
Ярославского, 47а
Расположение на карте
зимний период: пн-пт 8:00-17:00, перерыв: 13:00-14:00; вс 9:00-17:00; санитарный день: последний день месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-17:00
Вс: 09:00-13:00 14:00-17:00
cbs-chita.ru
 +7 (3022) 32-72-72
Показать номер
Рецензии и отзывы
Егор Петров
О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри. В книге говорится , что ядро интуитивно догадывается, какая информация о мире верифицируется как подлинная. На этот факт почему- то ссылаются многие другие специалисты.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна бібліотека ім. І.Я. Франка, ФОП Шуманський К. С.
Харьковская область, Харьков, Новобаварский район
Полтавский шлях, 57/59
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +380 (57) 712-46-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №30
Одесская область, Одесса, Суворовский район, Посёлок Котовского м-н
Крымская, 58
Расположение на карте
санитарный день: последняя пт месяца
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-18:00
Вс: 09:30-18:00
 +380 (482) 52-78-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7
Павлодарская область, Павлодар
Торайгырова, 18
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (7182) 53-84-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека №14
Москва, Москва, Замоскворечье район
Дубининская, 20
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
cbscao.ru
nauchka.ru
 +7 (499) 235-41-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центр культурного наследия им. Н.С. Гумилева
Москва, Москва, Фили-Давыдково район
Кременчугская, 22
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
Вконтакте:  https://vk.com/bib_gumileva
Facebook:  https://facebook.com/1426334047624681?hc_ref=ARSp5hBfd3ADkopgcBfOv8jb0B2TLzGKiICshd_LxbBAgYko-yjldH-Gm10zyOrz8fI
 +7 (499) 449-34-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Пермская государственная ордена Знак Почета краевая универсальная библиотека им. А.М. Горького
Пермский край, Пермь городской округ, Пермь, Ленинский район, Центр
Ленина, 70
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-17:00
Сб: 10:00-17:00
Вс: 10:00-17:00
www.gorkilib.ru
Вконтакте:  https://vk.com/gorkilibrary
Инстаграм:  https://instagram.com/gorkilibrary
Facebook:  https://facebook.com/gorkilibrary
Одноклассники:  https://ok.ru/gorkilibrary
Youtube:  https://youtube.com/user/permgkub
 +7 (342) 236-20-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №4
Пермский край, Березники городской округ, Березники, Усольский
Ивана Дощеникова, 22
Расположение на карте
санитарный день: последний рабочий день месяца
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-17:00
 +7 (3424) 27-67-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Кировская Центральная Библиотека
Ленинградская область, Кировский район, Кировск
Набережная, 1 к5
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 11:00-18:00
kirovsk.47lib.ru
 +7 (81362) 2-22-06 +7 (81362) 2-69-16
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2
Челябинская область, Магнитогорский городской округ, Магнитогорск, Орджоникидзевский район, 131-й микрорайон
Карла Маркса проспект, 186
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.ogbmagnitka.ru
Вконтакте:  https://vk.com/club63305143
 +7 (3519) 35-59-22 +7 (3519) 34-37-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8
Забайкальский край, Чита городской округ, Чита, Ингодинский район
Ярославского, 47а
Расположение на карте
зимний период: пн-пт 8:00-17:00, перерыв: 13:00-14:00; вс 9:00-17:00; санитарный день: последний день месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-17:00
Вс: 09:00-13:00 14:00-17:00
cbs-chita.ru
 +7 (3022) 32-72-72
Показать номер
Информация от пользователей
Азат Нагирян
О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри. В книге говорится
Прикрепить файл
Книга находятся в категориях.