Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)

Похожие книги

1. А.И. Кочеткова. Основы управления в условиях хаоса (неопределенности). Антикризисное управление и создание саморазвивающихся систем (+ CD-ROM). – М.: Рид Групп, 2012. – 624 с.
   
2. В.Л. Сосонкин, Г.М. Мартинов. Программирование систем числового программного управления (+ CD-ROM). – М.: Логос, Университетская книга, 2008. – 344 с.
   
3. В.Н. Гусятников, А.И. Безруков. Стандартизация и разработка программных систем. – М.: Финансы и статистика, Инфра-М, 2010. – 288 с.
   
4. В.И. Коробко, А.В. Коробко. Строительная механика. Динамика и устойчивость стержневых систем. – М.: Издательство Ассоциации строительных вузов, 2008. – 400 с.
   
5. Я.Г. Пановко, И.И. Губанова. Устойчивость и колебания упругих систем. – М.: Главная редакция физико-математической литературы издательства "Наука", 1979. – 384 с.
   
6. Я.Г. Пановко, И.И. Губанова. Устойчивость и колебания упругих систем. Современные концепции, парадоксы и ошибки. – М.: КомКнига, 2007. – 352 с.
   
7. С.Л. Корякин-Черняк. Справочник по ремонту и настройке спутникового оборудования (+ CD-ROM). – М.: Наука и техника, 2010. – 240 с.
   
8. Камерон Хьюз, Трейси Хьюз. Параллельное и распределенное программирование с использованием C++. – М.: Вильямс, 2004. – 672 с.
   
9. В.А. Зеньковский. Программирование на Visual Basic 6.5 и Visual Basic.Net (+ CD-ROM). – М.: Солон-Пресс, 2006. – 248 с.
   
10. Ю.Г. Карпов. Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM). – СПб.: БХВ-Петербург, 2010. – 552 с.
    
11. С.Степанов. Полы в вашей квартире и доме своими руками (+ CD-ROM). – М.: Эксмо, 2009. – 192 с.
    
12. Ф.А. Резников. iPad 2 и iPad 2 NEW. Официциальная русская версия с джейлбрейком. (+ 2 CD-ROM). – М.: Триумф, 2013. – 208 с.
    
13. Кэролайн Сазерленд, Ошо, Георгий Сытин. Молодое и здоровое тело в любом возрасте. Баланс тела-ума. Преодоление старения (комплект из 3 книг + CD-ROM). – М.: ИГ "Весь", 2014. – 910 с.
    
14. Сергей Ефимов. Оптимизация структуры распределенных вычислительных систем. – М.: LAP Lambert Academic Publishing, 2012. – 244 с.
    
15. Сергей Востокин. Визуальное моделирование в разработке параллельных алгоритмов. – М.: LAP Lambert Academic Publishing, 2011. – 312 с.
    
16. С.В. Назаров. Архитектура и проектирование программных систем. – М.: Инфра-М, 2016. – 376 с.
    
17. Е.М. Лаврищева. Технология разработки и моделирования вариантов программных систем. – М.: Юрайт, 2017. – 434 с.
    

Образцы работ

Задайте свой вопрос по вашей теме

		Гладышева Марина Михайловна marina@studentochka.ru +7 911 822-56-12 с 9 до 21 ч. по Москве.