ID 3811628
Автор: С. В. Синицын, Н. Ю. Налютин
Языки: Русский
Издательство: Бином. Лаборатория знаний, Интернет-университет информационных технологий
Серия: Основы информационных технологий
ISBN 978-5-94774-825-3; 2008 г.
Дополнительные характеристики
Ваша цена: +8,92
44600 руб.
На складе
Вес 480 г
Ожидаемая дата передачи в службу доставки 27 мая
Оценить:
Сергей Синицын
автор
Никита Налютин
Верификация моделей программ. Model Checking
Основы инженерии программного обеспечения
Лингвистическое и программное обеспечение автоматизированных систем
Технологии разработки программного обеспечения
Джоэл о программировании
Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)
Бортовые комплексы управления космическими аппаратами и проектирование их программного обеспечения
Microsoft Dynamics AX 4.0
Верификация автоматных программ
Практическая программная инженерия на основе учебного примера