Model checking : верификация параллельных и распределениых программных систем : для студентов вузов, программистов и исследователей в области информатики
956
Купить
Краткое содержание:
Экранизация книги

Model checking : верификация параллельных и распределениых программных систем : для студентов вузов, программистов и исследователей в области информатики

Автор:
Карпов Юрий Глебович (д-р техн. наук)
Год:
2010
isbn:
978-5-9775-0404-1
Язык:
Русский
Страниц:
551
Описание:
Карпов Ю. Г. Model checking : верификация параллельных и распределениых программных систем : [для студентов вузов, программистов и исследователей в области информатики] / Ю.Г. Карпов. - Санкт-Петербург : БХВ-Петербург, 2010. - 551 с. : ил. ; 24 см. + 1 электр. опт. диск (CD-ROM). - Библиогр.: с. 535-548. - Др. кн. авт. на 4-й с. обл.. - Предм. указ.: с. 549-551
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Параллельные вычислительные системы → Моделирование
Примечания:
На 4-й с. обл. авт.: Карпов Ю.Г. д.т.н., проф. . - Библиогр.: с. 535-548 . - Др. кн. авт. на 4-й с. обл. . - Предм. указ.: с. 549-551
Дата создания:
2021-05-17 18:49:56
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Model checking : верификация параллельных и распределениых программных систем : для студентов вузов, программистов и исследователей в области информатики

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

Реставрация Model checking : верификация параллельных и распределениых программных систем : для студентов вузов, программистов и исследователей в области информатики

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №199 им. Э.Г. Багрицкого
Москва, Москва
Багрицкого, 51
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
 +7 (495) 443-67-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Руниверс, электронная библиотека
Москва, Москва, Басманный район
Аптекарский переулок, 4 ст1
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
www.runivers.ru
Вконтакте:  https://vk.com/public35690973
Facebook:  https://facebook.com/runiverse.ru
Твиттер:  https://twitter.com/@runivers
 +7 (495) 737-76-32
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №148 им. Ф.И. Тютчева
Москва, Москва
Балаклавский проспект, 12 к3
санитарный день: последний пт месяца
Вт: 15:00-19:00
Ср: 15:00-19:00
Чт: 15:00-19:00
Пт: 15:00-19:00
Сб: 15:00-19:00
 +7 (495) 316-79-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №25
Самарская область, Самара городской округ, Самара, Кировский район, 15-й микрорайон
Карла Маркса проспект, 452
санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
csdb-samara.ru/filial_25.html
 +7 (846) 958-89-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №30
Самарская область, Самара городской округ, Самара, Красноглинский район, Мехзавод пос
15-й квартал, 3
санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
 +7 (846) 957-06-89
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №17
Краснодарский край, Новороссийск городской округ, Новороссийск, Восточный район, Мефодиевка
Фрунзе, 60
санитарный день: первый пн месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 11:00-18:00
Вс: 11:00-18:00
 +7 (8617) 27-41-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, р.п. Малое Козино
Нижегородская область, Балахнинский район, рп. Малое Козино
Октября, 74
Пн: 10:00-18:00
Вт: 09:00-18:00
Чт: 10:00-18:00
Вс: 10:00-16:00
 +7 (83144) 7-24-15
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. журнала Смена
Ямало-Ненецкий автономный округ, Новый Уренгой городской округ, Новый Уренгой, Оптимистов м-н
Оптимистов микрорайон, 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
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, пос. Октябрьский
Республика Татарстан, Верхнеуслонский район, пос. Октябрьский
Центральная, 7
Пн: 08:00-14:00
Вт: 08:00-14:00
Ср: 08:00-14:00
Чт: 08:00-14:00
Пт: 08:00-14:00
Название и адрес
Режим работы
Контактная информация
Телефон
Областная библиотека им. Н.К. Крупской
Оренбургская область, Оренбург городской округ, Оренбург, Ленинский район
Советская, 20
санитарный день: первый вт месяца; июнь-август: пн-чт 9:30-18:00; сб-вс выходной
Пн: 09:30-20:00
Вт: 09:30-20:00
Ср: 09:30-20:00
Чт: 09:30-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.orenlib.ru
Youtube:  https://youtube.com/channel/UCcKUdg9daZwj8T9OtbGNQTg
 +7 (3532) 77-07-10 +7 (3532) 77-24-72 +7 (3532) 77-06-76
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №199 им. Э.Г. Багрицкого
Москва, Москва
Багрицкого, 51
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
 +7 (495) 443-67-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Руниверс, электронная библиотека
Москва, Москва, Басманный район
Аптекарский переулок, 4 ст1
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
www.runivers.ru
Вконтакте:  https://vk.com/public35690973
Facebook:  https://facebook.com/runiverse.ru
Твиттер:  https://twitter.com/@runivers
 +7 (495) 737-76-32
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №148 им. Ф.И. Тютчева
Москва, Москва
Балаклавский проспект, 12 к3
санитарный день: последний пт месяца
Вт: 15:00-19:00
Ср: 15:00-19:00
Чт: 15:00-19:00
Пт: 15:00-19:00
Сб: 15:00-19:00
 +7 (495) 316-79-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №25
Самарская область, Самара городской округ, Самара, Кировский район, 15-й микрорайон
Карла Маркса проспект, 452
санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
csdb-samara.ru/filial_25.html
 +7 (846) 958-89-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №30
Самарская область, Самара городской округ, Самара, Красноглинский район, Мехзавод пос
15-й квартал, 3
санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
 +7 (846) 957-06-89
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №17
Краснодарский край, Новороссийск городской округ, Новороссийск, Восточный район, Мефодиевка
Фрунзе, 60
санитарный день: первый пн месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 11:00-18:00
Вс: 11:00-18:00
 +7 (8617) 27-41-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, р.п. Малое Козино
Нижегородская область, Балахнинский район, рп. Малое Козино
Октября, 74
Пн: 10:00-18:00
Вт: 09:00-18:00
Чт: 10:00-18:00
Вс: 10:00-16:00
 +7 (83144) 7-24-15
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. журнала Смена
Ямало-Ненецкий автономный округ, Новый Уренгой городской округ, Новый Уренгой, Оптимистов м-н
Оптимистов микрорайон, 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
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, пос. Октябрьский
Республика Татарстан, Верхнеуслонский район, пос. Октябрьский
Центральная, 7
Пн: 08:00-14:00
Вт: 08:00-14:00
Ср: 08:00-14:00
Чт: 08:00-14:00
Пт: 08:00-14:00
Название и адрес
Режим работы
Контактная информация
Телефон
Областная библиотека им. Н.К. Крупской
Оренбургская область, Оренбург городской округ, Оренбург, Ленинский район
Советская, 20
санитарный день: первый вт месяца; июнь-август: пн-чт 9:30-18:00; сб-вс выходной
Пн: 09:30-20:00
Вт: 09:30-20:00
Ср: 09:30-20:00
Чт: 09:30-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.orenlib.ru
Youtube:  https://youtube.com/channel/UCcKUdg9daZwj8T9OtbGNQTg
 +7 (3532) 77-07-10 +7 (3532) 77-24-72 +7 (3532) 77-06-76
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.