Верификация распределенных систем : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки магистров в образовательной области "Информатика и вычислительная техника"
1483
Купить
Краткое содержание:
Экранизация книги

Верификация распределенных систем : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки магистров в образовательной области "Информатика и вычислительная техника"

Автор:
Карпов Юрий Глебович (д-р техн. наук)
Год:
2011
isbn:
978-5-7422-3379-4
Язык:
Русский
Страниц:
211
Заглавие серии:
Приоритетные национальные проекты . Образование
Описание:
Карпов Ю. Г., Шошмина И. В. Верификация распределенных систем : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки магистров в образовательной области "Информатика и вычислительная техника" / Ю. Г. Карпов, И. В. Шошмина; М-во образования и науки Рос. Федерации, С.-Петерб. гос. политех. ун-т [и др.]. - Санкт-Петербург : Изд-во Политехнического университета, 2011. - 211 с. : ил. ; 20 см. - (Приоритетные национальные проекты . Образование). - Библиогр.: с. 209-210 (34 назв.). - Предм. указ.: с. 211
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
PROMELA, язык моделирования процессов → Учебные издания для высших учебных заведений
Примечания:
В надзаг. также: Приоритет. нац. проект "Образование", Нац. исслед. ун-т . - Библиогр.: с. 209-210 (34 назв.) . - Предм. указ.: с. 211
ББК:
З973.2-018.2-5-05я73-1
Дата создания:
2020-09-10 06:58:02
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Верификация распределенных систем : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки магистров в образовательной области "Информатика и вычислительная техника"

Заказать реферат Узнать стоимость Скачать пример
Лекция 2 | Верификация параллельных и распределенных программных систем | Юрий Карпов | Лекториум
Лекция 2 | Курс: Верификация параллельных и распределенных программных систем | Лектор: Юрий Карпов | Организатор: Computer Science клуб при ...
Лекториум
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Верификация распределенных систем : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки магистров в образовательной области "Информатика и вычислительная техника"
Опросы
Оригинал написан на мертвом языке?
Да, позже переведен на другие языки.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Верификация распределенных систем : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки магистров в образовательной области "Информатика и вычислительная техника"

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Лекция 1 | Верификация параллельных и распределенных программных систем | Юрий Карпов | Лекториум
Лекция 1 | Курс: Верификация параллельных и распределенных программных систем | Лектор: Юрий Карпов | Организатор: Computer Science клуб при ...
Лекториум
Построение и верификация отказоустойчивого алгоритма распределенной блокировки
http://0x1.tv/20180517N Построение и верификация отказоустойчивого алгоритма распределенной блокировки (Евгений Шишкин, OSDAY-2018) ...
Stas Fomin
[ИТ-лекторий]: Современные методы разработки и верификации программ для mission critical систем
День космоса (12 апреля) Спикер: Александр Петренко, профессор ИСП РАН, ФКН Современные методы разработки и верификации программ для ...
ФКН ВШЭ
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Гімназія №3, г. Новомосковск
Днепропетровская область, Новомосковск
Гетманская, 175
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
star3.dp.ua
 +380 (5693) 7-96-53
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, станица Советская
Краснодарский край, Новокубанский район, ст-ца Советская
Ленина, 159
зимний период: пн-чт, сб-вс 9:00-17:00, без перерыва; пт выходной; санитарный день: последний день месяца
Пн: 09:00-13:00 15:00-19:00
Вт: 09:00-13:00 15:00-19:00
Ср: 09:00-13:00 15:00-19:00
Чт: 09:00-13:00 15:00-19:00
Пт: 09:00-13:00 15:00-19:00
Сб: 10:00-13:00 15:00-19:00
Вс: 10:00-13:00 15:00-19:00
 +7 (86195) 5-62-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №105
Москва, Москва, Люблино район
Головачёва, 3 к2
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuvao.ru/
Вконтакте:  https://vk.com/lib_uvao
Инстаграм:  https://instagram.com/lib_uvao
Facebook:  https://facebook.com/libuvao
Твиттер:  https://twitter.com/@lib_uvao
 +7 (495) 359-36-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Гилёво
Тюменская область, Заводоуковский городской округ, с. Гилёво
Советская, 29
Вт: 10:00-13:00 14:00-19:00
Ср: 11:00-13:00 14:00-19:00
Чт: 11:00-13:00 14:00-19:00
Пт: 11:00-13:00 14:00-19:00
Сб: 11:00-13:00 14:00-19:00
 +7 (34542) 6-71-00
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Тюшевская сельская библиотека
Рязанская область, Рязанский район, с. Тюшево
Совхоз Рязанский посёлок, 17Б
Вт: 11:00-14:00 15:00-18:00
Ср: 11:00-14:00 15:00-18:00
Чт: 11:00-14:00 15:00-18:00
Пт: 11:00-14:00 15:00-18:00
Сб: 11:00-14:00 15:00-18:00
Вс: 11:00-14:00 15:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7
Самарская область, Самара городской округ, Самара, Кировский район, 13-й микрорайон
Кирова проспект, 395
санитарный день: первый вт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
csdb-samara.ru
Вконтакте:  https://vk.com/al_feed.php#/club127331874
 +7 (846) 956-49-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека-филиал №6, МБУ Централизованная библиотечная система
Красноярский край, Норильск городской округ, Норильск, Талнах район, Микрорайон 5 (Талнах)
Энтузиастов, 1а
зимний период: вт-сб 12:00-19:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00
www.mucbs.ru
Вконтакте:  https://vk.com/cbs_norilsk
Инстаграм:  https://instagram.com/cbs_norilsk
Facebook:  https://facebook.com/norlibrary
Одноклассники:  https://ok.ru/cbs.norilsk
 +7 (3919) 44-13-31
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.И. Куприна
Новосибирская область, Новосибирск городской округ, Новосибирск, Первомайский район
Узорная, 8
технический день: последний чт месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 11:00-18:00
Сб: 11:00-18:00
bibliotekino.ru
Facebook:  https://facebook.com/515077211876160
 +7 (383) 338-54-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. журнала Смена
Ямало-Ненецкий автономный округ, Новый Уренгой городской округ, Новый Уренгой, Оптимистов м-н
Оптимистов микрорайон, 4/3
санитарный день: последний вт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-17:00
nurcbs.ru
 +7 (3494) 24-57-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, МБУК
Владимирская область, Владимир городской округ, Владимир, Октябрьский район
Сурикова, 26
санитарный день: последний день месяца; зимний период: пн-пт, вс 12:00-19:00
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Вс: 12:00-19:00
biblioteka33.ru
 +7 (4922) 54-65-11
Показать номер
Интегрированная технология верификации и тестирования промышленного программного продукта
http://0x1.tv/20131025-36 Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, ...
Stas Fomin Формальная верификация кода на языке Си
Доклад посвящен разработке корректного программного обеспечения с применением одного из видов статического анализа кода. Будут освещены ...
Positive Technologies Что такое системы идентификации личности и для чего они нужны
Новая тема курса «Основы цифровой экономики» — системы удаленной идентификации личности. Руководитель проекта IDX Светлана Белова дает ...
ФРИИ Знакомство с TLA+ [Иван Пузыревский 12.12.2019]
При прикладной разработке компьютерных систем порой сложно строго мыслить о свойствах разрабатываемой системы. Особенно остро проблема ...
Computer Science Seminar
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Гімназія №3, г. Новомосковск
Днепропетровская область, Новомосковск
Гетманская, 175
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
star3.dp.ua
 +380 (5693) 7-96-53
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, станица Советская
Краснодарский край, Новокубанский район, ст-ца Советская
Ленина, 159
зимний период: пн-чт, сб-вс 9:00-17:00, без перерыва; пт выходной; санитарный день: последний день месяца
Пн: 09:00-13:00 15:00-19:00
Вт: 09:00-13:00 15:00-19:00
Ср: 09:00-13:00 15:00-19:00
Чт: 09:00-13:00 15:00-19:00
Пт: 09:00-13:00 15:00-19:00
Сб: 10:00-13:00 15:00-19:00
Вс: 10:00-13:00 15:00-19:00
 +7 (86195) 5-62-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №105
Москва, Москва, Люблино район
Головачёва, 3 к2
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuvao.ru/
Вконтакте:  https://vk.com/lib_uvao
Инстаграм:  https://instagram.com/lib_uvao
Facebook:  https://facebook.com/libuvao
Твиттер:  https://twitter.com/@lib_uvao
 +7 (495) 359-36-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Гилёво
Тюменская область, Заводоуковский городской округ, с. Гилёво
Советская, 29
Вт: 10:00-13:00 14:00-19:00
Ср: 11:00-13:00 14:00-19:00
Чт: 11:00-13:00 14:00-19:00
Пт: 11:00-13:00 14:00-19:00
Сб: 11:00-13:00 14:00-19:00
 +7 (34542) 6-71-00
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Тюшевская сельская библиотека
Рязанская область, Рязанский район, с. Тюшево
Совхоз Рязанский посёлок, 17Б
Вт: 11:00-14:00 15:00-18:00
Ср: 11:00-14:00 15:00-18:00
Чт: 11:00-14:00 15:00-18:00
Пт: 11:00-14:00 15:00-18:00
Сб: 11:00-14:00 15:00-18:00
Вс: 11:00-14:00 15:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7
Самарская область, Самара городской округ, Самара, Кировский район, 13-й микрорайон
Кирова проспект, 395
санитарный день: первый вт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
csdb-samara.ru
Вконтакте:  https://vk.com/al_feed.php#/club127331874
 +7 (846) 956-49-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека-филиал №6, МБУ Централизованная библиотечная система
Красноярский край, Норильск городской округ, Норильск, Талнах район, Микрорайон 5 (Талнах)
Энтузиастов, 1а
зимний период: вт-сб 12:00-19:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00
www.mucbs.ru
Вконтакте:  https://vk.com/cbs_norilsk
Инстаграм:  https://instagram.com/cbs_norilsk
Facebook:  https://facebook.com/norlibrary
Одноклассники:  https://ok.ru/cbs.norilsk
 +7 (3919) 44-13-31
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.И. Куприна
Новосибирская область, Новосибирск городской округ, Новосибирск, Первомайский район
Узорная, 8
технический день: последний чт месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 11:00-18:00
Сб: 11:00-18:00
bibliotekino.ru
Facebook:  https://facebook.com/515077211876160
 +7 (383) 338-54-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. журнала Смена
Ямало-Ненецкий автономный округ, Новый Уренгой городской округ, Новый Уренгой, Оптимистов м-н
Оптимистов микрорайон, 4/3
санитарный день: последний вт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-17:00
nurcbs.ru
 +7 (3494) 24-57-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека, МБУК
Владимирская область, Владимир городской округ, Владимир, Октябрьский район
Сурикова, 26
санитарный день: последний день месяца; зимний период: пн-пт, вс 12:00-19:00
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Вс: 12:00-19:00
biblioteka33.ru
 +7 (4922) 54-65-11
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.