Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри = Verificationof estelle specifications of distributed systems using coloured Petri nets
1045
Купить
Краткое содержание:
Экранизация книги

Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри = Verificationof estelle specifications of distributed systems using coloured Petri nets

Авторы:
Непомнящий В. А.
Алексеев Г. И.
Быстров А. В.
Год:
1998
Язык:
Русский
Страниц:
139
Описание:
Непомнящий В. А., Алексеев Г. И., Быстров А. В. Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри = Verificationof estelle specifications of distributed systems using coloured Petri nets / В.А. Непомнящий, Г.И. Алексеев, А.В. Быстров и др.; Под ред. В.А. Непомнящего и Н.В. Шилова Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова. - Новосибирск : Ин-т систем информатики, 1998. - 139 с. : ил. ; 21 см. - Библиогр.: с. 136-137
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Петри сети
Примечания:
Авт. также на англ. яз.: V.A. Nepomniaschy, G.I. Alekseev, A.V. Bystrov и др. . - Рез на англ. яз. . - Библиогр.: с. 136-137
Дата создания:
2021-01-12 19:22:23
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри = Verificationof estelle specifications of distributed systems using coloured Petri nets

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри = Verificationof estelle specifications of distributed systems using coloured Petri nets
Опросы
На каком языке книга?
Русский
Английский
Немецкий
Китайский
Японский
Испанский
Французский
Португальский
Арабский
Другой
Не знаю
Содержание

Реставрация Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри = Verificationof estelle specifications of distributed systems using coloured Petri nets

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, Храм во имя святых мучеников Флора и Лавра
Свердловская область, Белоярский городской округ, с. Косулино
Ленина, 38Б/1
Расположение на карте
Сб: 09:00-17:00
Вс: 09:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Богандинская библиотека №2, МАУК Центральная библиотечная система Тюменского муниципального района
Тюменская область, Тюменский район, рп. Богандинский
Трактовая, 14
Расположение на карте
санитарный день: последний чт месяца; зимний период: пн-пт 10:00-18:00; вс 10:00-18:00, перерыв 13:00-14:00
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
 +7 (3452) 72-00-63
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека №2
Республика Адыгея, Майкопский район, пгт Каменномостский
Гагарина, 34
Расположение на карте
Пн: 10:00-16:00
Вт: 10:00-16:00
Ср: 10:00-16:00
Чт: 10:00-16:00
Пт: 10:00-16:00
 +7-928-461-90-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №43
Саратовская область, Саратов городской округ, Саратов, 4-й жилучасток
Энтузиастов проспект, 23
Расположение на карте
июль-август: вс,пн выходной
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
www.sarcbs.ru/
Вконтакте:  https://vk.com/svet_v_okne_biblioteki
 +7 (8452) 94-74-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная Библиотечная Система, МКУ
Челябинская область, Миасский городской округ, Миасс, Первомайский посёлок ж/м
Тельмана, 56
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
www.miasslib.ru
Вконтакте:  https://vk.com/miasslib
Facebook:  https://facebook.com/miasslib
Одноклассники:  https://ok.ru/miasslib
 +7 (3513) 57-79-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М.М. Пришвина
Новосибирская область, Новосибирск городской округ, Новосибирск, Октябрьский район
Коммунстроевская, 200
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-16:00
prishvina.cbstolstoy.ru
Вконтакте:  https://vk.com/cbstolstoy
 +7 (383) 211-70-06
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детско-юношеская библиотека №13, г. Волжский
Волгоградская область, Волжский городской округ, Волжский, 22-й микрорайон
Мира, 75
Расположение на карте
санитарный день: последняя ср месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +7 (8443) 29-30-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №14, г. Волжский
Волгоградская область, Волжский городской округ, Волжский, 24-й микрорайон
Оломоуцкая, 80
Расположение на карте
летний период: вт-пт 10:00-18:00; сб 10:00-17:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
mibs-vlz.ru
volglib.ru
Вконтакте:  https://vk.com/club76816522
 +7 (8443) 52-17-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека пос. Медведево
Республика Марий Эл, Медведевский район, пгт Медведево
Шумелёва, 7
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-15:00
 +7 (8362) 58-27-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Алтайская районная межпоселенческая библиотека
Алтайский край, Алтайский район, с. Алтайское
Советская, 122/1
Расположение на карте
санитарный день: последний пн месяца; летний период: пн-пт 9:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (38537) 2-26-48
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, Храм во имя святых мучеников Флора и Лавра
Свердловская область, Белоярский городской округ, с. Косулино
Ленина, 38Б/1
Расположение на карте
Сб: 09:00-17:00
Вс: 09:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Богандинская библиотека №2, МАУК Центральная библиотечная система Тюменского муниципального района
Тюменская область, Тюменский район, рп. Богандинский
Трактовая, 14
Расположение на карте
санитарный день: последний чт месяца; зимний период: пн-пт 10:00-18:00; вс 10:00-18:00, перерыв 13:00-14:00
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
 +7 (3452) 72-00-63
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека №2
Республика Адыгея, Майкопский район, пгт Каменномостский
Гагарина, 34
Расположение на карте
Пн: 10:00-16:00
Вт: 10:00-16:00
Ср: 10:00-16:00
Чт: 10:00-16:00
Пт: 10:00-16:00
 +7-928-461-90-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №43
Саратовская область, Саратов городской округ, Саратов, 4-й жилучасток
Энтузиастов проспект, 23
Расположение на карте
июль-август: вс,пн выходной
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
www.sarcbs.ru/
Вконтакте:  https://vk.com/svet_v_okne_biblioteki
 +7 (8452) 94-74-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная Библиотечная Система, МКУ
Челябинская область, Миасский городской округ, Миасс, Первомайский посёлок ж/м
Тельмана, 56
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
www.miasslib.ru
Вконтакте:  https://vk.com/miasslib
Facebook:  https://facebook.com/miasslib
Одноклассники:  https://ok.ru/miasslib
 +7 (3513) 57-79-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М.М. Пришвина
Новосибирская область, Новосибирск городской округ, Новосибирск, Октябрьский район
Коммунстроевская, 200
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-16:00
prishvina.cbstolstoy.ru
Вконтакте:  https://vk.com/cbstolstoy
 +7 (383) 211-70-06
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детско-юношеская библиотека №13, г. Волжский
Волгоградская область, Волжский городской округ, Волжский, 22-й микрорайон
Мира, 75
Расположение на карте
санитарный день: последняя ср месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +7 (8443) 29-30-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №14, г. Волжский
Волгоградская область, Волжский городской округ, Волжский, 24-й микрорайон
Оломоуцкая, 80
Расположение на карте
летний период: вт-пт 10:00-18:00; сб 10:00-17:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
mibs-vlz.ru
volglib.ru
Вконтакте:  https://vk.com/club76816522
 +7 (8443) 52-17-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека пос. Медведево
Республика Марий Эл, Медведевский район, пгт Медведево
Шумелёва, 7
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-15:00
 +7 (8362) 58-27-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Алтайская районная межпоселенческая библиотека
Алтайский край, Алтайский район, с. Алтайское
Советская, 122/1
Расположение на карте
санитарный день: последний пн месяца; летний период: пн-пт 9:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (38537) 2-26-48
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.