Моделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL

1611

Купить

Краткое содержание:

Моделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL

Name: Моделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL
Rating: 4.5

Авторы:

Непомнящий Валерий Александрович
Бодин Евгений Викторович
Веретнов С. О.

Год:

2010

Язык:

Русский

Страниц:

Заглавие серии:

Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 156

Описание:

Непомнящий В. А., Бодин Е. В., Веретнов С. О. Моделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов. - Новосибирск : Институт систем информатики, 2010. - 44 с. : ил. ; 21 см. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 156). - Библиогр.: с. 35-36 (18 назв.)

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Распределенные вычислительные системы → Моделирование

Примечания:

Авт. также на англ. яз.: V.A. Nepomniaschy, E.V. Bodin, S.O. Veretnov . - Библиогр.: с. 35-36 (18 назв.)

ББК:

З973.202,0

Дата создания:

2022-01-25 05:12:27

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме Моделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Моделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Моделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Моделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Моделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL

Заработать от 15 000 руб. до 150 000 руб.

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система

Алматы, Алматы, Алмалинский район
Толе би, 160
Расположение на карте

санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00

www.libraryalmaty.kz

+7 (727) 375-52-47

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №55-3

Москва, Москва, Ростокино район
Будайский проезд, 7 к2
Расположение на карте

санитарный день: последний вт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-18:00
Вс: 12:00-18:00

Вконтакте: https://vk.com/lib55

+7 (499) 187-44-72 +7 (499) 187-44-77

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №135

Москва, Москва, Марьино район
Донецкая, 33
Расположение на карте

санитарный день: последний вт месяца
Вт: 17:00-19:00
Ср: 17:00-19:00
Чт: 17:00-19:00
Пт: 17:00-19:00
Сб: 17:00-19:00
Вс: 17:00-19:00

cbsuvao.ru
Вконтакте: https://vk.com/lib_uvao
Facebook: https://facebook.com/libuvao

+7 (499) 356-90-03 +7 (499) 356-07-12 +7 (499) 356-53-61

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Межпоселенческая центральная библиотека им. А.С. Пушкина

Московская область, Ногинский район, Ногинск, Глухово м-н
Краснослободская, 4а
Расположение на карте

Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Вс: 11:00-19:00

mcb-noginsk.mo.muzkult.ru/

+7 (496) 517-33-39

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Турлатовская сельская библиотека

Рязанская область, Рязанский район, д. Турлатово
Новая, 24
Расположение на карте

Вт: 13:00-19:00
Ср: 13:00-19:00
Чт: 13:00-19:00
Пт: 13:00-19:00
Сб: 13:00-19:00
Вс: 13:00-19:00

+7 (4912) 37-92-48

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Молодежная библиотека

Краснодарский край, Новороссийск городской округ, Новороссийск, Южный район, 10-й микрорайон
Волгоградская, 44
Расположение на карте

санитарный день: первый пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00

Вконтакте: https://vk.com/bibliotekafilial18
Facebook: https://facebook.com/bibliotekafilial18
Одноклассники: https://ok.ru/bibliotekafilial18
Твиттер: https://twitter.com/@bibliotekafil18

+7 (8617) 22-01-23

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Областная библиотека им. М.Ю. Лермонтова

Пензенская область, Пенза городской округ, Пенза, Ленинский район, Центр
Белинского, 10
Расположение на карте

санитарный день: последняя пт месяца
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00

liblermont.ru
Удаленный электронный читальный зал президентской библиотеки
Вконтакте: https://vk.com/lermontovka_ru
Инстаграм: https://instagram.com/lermontovka_pnz
Facebook: https://facebook.com/liblermont
Твиттер: https://twitter.com/@liblermont
Youtube: https://youtube.com/user/liblermont

+7 (8412) 63-44-35 +7 (8412) 63-44-21

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Сельская библиотека, пос. Листвянский

Новосибирская область, Искитимский район, пос. Листвянский
Шахматова, 8
Расположение на карте

Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №4, г. Стерлитамак

Республика Башкортостан, Стерлитамак городской округ, Стерлитамак, Западный
Октября проспект, 30
Расположение на карте

санитарный день: первая ср месяца
Пн: 10:00-14:00 15:00-19:00
Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Вс: 09:00-17:00

+7 (3473) 24-01-93

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная Библиотечная Система г. Улан-Удэ, МАУ

Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район, Забайкальский пос.
Совхозная, 50д
Расположение на карте

санитарный день: последняя пт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-15:00
Вс: 10:00-15:00

cbs-ulan-ude.ru
cbs-uu.ru
Вконтакте: https://vk.com/bibl_kalashnikov
Facebook: https://facebook.com/1587033464888844

+7 (3012) 29-01-91

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система

Алматы, Алматы, Алмалинский район
Толе би, 160
Расположение на карте

санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00

www.libraryalmaty.kz

+7 (727) 375-52-47

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №55-3

Москва, Москва, Ростокино район
Будайский проезд, 7 к2
Расположение на карте

санитарный день: последний вт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-18:00
Вс: 12:00-18:00

Вконтакте: https://vk.com/lib55

+7 (499) 187-44-72 +7 (499) 187-44-77

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №135

Москва, Москва, Марьино район
Донецкая, 33
Расположение на карте

санитарный день: последний вт месяца
Вт: 17:00-19:00
Ср: 17:00-19:00
Чт: 17:00-19:00
Пт: 17:00-19:00
Сб: 17:00-19:00
Вс: 17:00-19:00

cbsuvao.ru
Вконтакте: https://vk.com/lib_uvao
Facebook: https://facebook.com/libuvao

+7 (499) 356-90-03 +7 (499) 356-07-12 +7 (499) 356-53-61

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Межпоселенческая центральная библиотека им. А.С. Пушкина

Московская область, Ногинский район, Ногинск, Глухово м-н
Краснослободская, 4а
Расположение на карте

Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Вс: 11:00-19:00

mcb-noginsk.mo.muzkult.ru/

+7 (496) 517-33-39

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Турлатовская сельская библиотека

Рязанская область, Рязанский район, д. Турлатово
Новая, 24
Расположение на карте

Вт: 13:00-19:00
Ср: 13:00-19:00
Чт: 13:00-19:00
Пт: 13:00-19:00
Сб: 13:00-19:00
Вс: 13:00-19:00

+7 (4912) 37-92-48

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Молодежная библиотека

санитарный день: первый пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00

+7 (8617) 22-01-23

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Областная библиотека им. М.Ю. Лермонтова

Пензенская область, Пенза городской округ, Пенза, Ленинский район, Центр
Белинского, 10
Расположение на карте

санитарный день: последняя пт месяца
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00

+7 (8412) 63-44-35 +7 (8412) 63-44-21

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Сельская библиотека, пос. Листвянский

Новосибирская область, Искитимский район, пос. Листвянский
Шахматова, 8
Расположение на карте

Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №4, г. Стерлитамак

санитарный день: первая ср месяца
Пн: 10:00-14:00 15:00-19:00
Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Вс: 09:00-17:00

+7 (3473) 24-01-93

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная Библиотечная Система г. Улан-Удэ, МАУ

санитарный день: последняя пт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-15:00
Вс: 10:00-15:00

cbs-ulan-ude.ru
cbs-uu.ru
Вконтакте: https://vk.com/bibl_kalashnikov
Facebook: https://facebook.com/1587033464888844

+7 (3012) 29-01-91

Показать номер