Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications
2736
Купить
Краткое содержание:
Экранизация книги

Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications

Автор:
Чурина Татьяна Геннадьевна
Год:
2000
Язык:
Русский
Страниц:
35
Заглавие серии:
Препринт = Preprint / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 71
Описание:
Чурина Т. Г. Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications / Т.Г. Чурина. - Новосибирск : Прайс-курьер, 2000. - 35 с. : ил. ; 19 см. - (Препринт = Preprint / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 71). - Библиогр.: с. 34-35 (16 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
SDL, язык программирования
Примечания:
Авт. также на англ. яз.: T.G. Churina . - Рез. на англ. яз. . - Библиогр.: с. 34-35 (16 назв.)
Дата создания:
2020-04-10 22:37:10
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications
Опросы
Книга в каком переплете?
Твердый
Мягкий
Клеевое швейное скрепление
Интегральный
Переплет на металлическую пружину
Брошюровка металлической скобой
Крепление на болтах
Другое
Не знаю
Содержание

Реставрация Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Державна науково-педагогічна бібліотека України ім. В.О. Сухомлинського, НАПН України
Киев город со специальным статусом, Київ, Шевченківський район, Сирець
Максима Берлінського, 9/1
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
www.dnpb.gov.ua
 +380 (44) 467-22-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №2 им. Д. Турусбекова, Централизованная библиотечная система
Бишкек, Бишкек, Ленинский район
Киевская, 252
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Сб: 09:00-16:00
 +996 (312) 64-50-63
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №5 им. К. Тыныстанова, Централизованная библиотечная система
Бишкек, Бишкек, Свердловский район
Кольбаева, 4
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
 +996 (312) 33-59-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Буратино, центральная детская библиотека
Московская область, Электросталь городской округ, Электросталь, Южный м-н
Победы, 17 к1
Расположение на карте
зимний период: пн-пт 11:00-19:00; вс 11:00-18:00
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (49657) 3-15-87 +7 (49657) 3-35-29
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Читай-город, библиотека, Муниципальная информационно-библиотечная система
Кемеровская область, Кемерово городской округ, Кемерово, Кировский район
40 лет Октября, 18
Расположение на карте
летний период: пн-пт 10:00-19:00; сб, вс выходной; санитарный день: последняя пт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
библиотеки.кемеровские.рф
Вконтакте:  https://vk.com/kemerovskie
Твиттер:  https://twitter.com/@spravkacbs
Google plus:  https://plus.google.com/106616187117403293819
 +7 (3842) 25-16-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Берёзовская библиотека
Нижегородская область, Арзамасский район, д. Березовка
Школьная, 2
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 11:00-16:00
 +7 (83147) 7-79-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека, г. Златоуст
Челябинская область, Златоустовский городской округ, Златоуст, Верхневокзальный ж/м
Румянцева, 19
Расположение на карте
зимний период: пн-пт, вс 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
www.zlatcbs.ru
 +7 (3513) 62-57-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Веревская сельская библиотека
Ленинградская область, Гатчинский район, д. Малое Верево
Киевское шоссе, 2а
Расположение на карте
санитарный день: последний день месяца
Вт: 12:00-14:00 15:00-19:00
Ср: 12:00-14:00 15:00-19:00
Чт: 12:00-14:00 15:00-19:00
Пт: 12:00-14:00 15:00-19:00
Сб: 12:00-14:00 15:00-19:00
 +7 (81371) 2-53-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. Н.А. Некрасова
Краснодарский край, Краснодар городской округ, Краснодар, Западный округ, Центральный
Красная, 87
Расположение на карте
Пн: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.neklib.kubannet.ru
Вконтакте:  https://vk.com/club51701500
 +7 (861) 274-32-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №18
Оренбургская область, Оренбург городской округ, Оренбург, Центральный район
Карагандинская, 58
Расположение на карте
зимний период: вт-пт 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-18:00
Сб: 10:00-17:00
 +7 (3532) 70-23-95
Показать номер
Рецензии и отзывы
Егор Петров
Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications. В книге описывается применение цветных сетей Петри в архитектуре сложных систем и предметов.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Державна науково-педагогічна бібліотека України ім. В.О. Сухомлинського, НАПН України
Киев город со специальным статусом, Київ, Шевченківський район, Сирець
Максима Берлінського, 9/1
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
www.dnpb.gov.ua
 +380 (44) 467-22-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №2 им. Д. Турусбекова, Централизованная библиотечная система
Бишкек, Бишкек, Ленинский район
Киевская, 252
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Сб: 09:00-16:00
 +996 (312) 64-50-63
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №5 им. К. Тыныстанова, Централизованная библиотечная система
Бишкек, Бишкек, Свердловский район
Кольбаева, 4
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
 +996 (312) 33-59-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Буратино, центральная детская библиотека
Московская область, Электросталь городской округ, Электросталь, Южный м-н
Победы, 17 к1
Расположение на карте
зимний период: пн-пт 11:00-19:00; вс 11:00-18:00
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (49657) 3-15-87 +7 (49657) 3-35-29
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Читай-город, библиотека, Муниципальная информационно-библиотечная система
Кемеровская область, Кемерово городской округ, Кемерово, Кировский район
40 лет Октября, 18
Расположение на карте
летний период: пн-пт 10:00-19:00; сб, вс выходной; санитарный день: последняя пт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
библиотеки.кемеровские.рф
Вконтакте:  https://vk.com/kemerovskie
Твиттер:  https://twitter.com/@spravkacbs
Google plus:  https://plus.google.com/106616187117403293819
 +7 (3842) 25-16-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Берёзовская библиотека
Нижегородская область, Арзамасский район, д. Березовка
Школьная, 2
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 11:00-16:00
 +7 (83147) 7-79-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека, г. Златоуст
Челябинская область, Златоустовский городской округ, Златоуст, Верхневокзальный ж/м
Румянцева, 19
Расположение на карте
зимний период: пн-пт, вс 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
www.zlatcbs.ru
 +7 (3513) 62-57-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Веревская сельская библиотека
Ленинградская область, Гатчинский район, д. Малое Верево
Киевское шоссе, 2а
Расположение на карте
санитарный день: последний день месяца
Вт: 12:00-14:00 15:00-19:00
Ср: 12:00-14:00 15:00-19:00
Чт: 12:00-14:00 15:00-19:00
Пт: 12:00-14:00 15:00-19:00
Сб: 12:00-14:00 15:00-19:00
 +7 (81371) 2-53-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. Н.А. Некрасова
Краснодарский край, Краснодар городской округ, Краснодар, Западный округ, Центральный
Красная, 87
Расположение на карте
Пн: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.neklib.kubannet.ru
Вконтакте:  https://vk.com/club51701500
 +7 (861) 274-32-40
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №18
Оренбургская область, Оренбург городской округ, Оренбург, Центральный район
Карагандинская, 58
Расположение на карте
зимний период: вт-пт 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-18:00
Сб: 10:00-17:00
 +7 (3532) 70-23-95
Показать номер
Информация от пользователей
Азат Нагирян
Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications. В книге описывается
Прикрепить файл
Книга находятся в категориях.