Books In Russian

Управление проектами

• Черная книга менеджера (pdf, epub, mobi) Слава Панкратов
• Белая книжная полка менеджера (epub, mobi, zip)
• Как стать менеджером (pdf, epub, mobi) - Слава Панкратов, Александр Орлов
• It starts with a great product

Тестирование ПО

• Test-Driven Development in Practice - Сергей Борисов
• Тестирование программного обеспечения. Базовый курс. - Святослав Куликов
• Всё, что вам нужно знать о форматах отчётов в тестировании ПО - Сергей Бронников
• Руководство по тестированию пользовательского опыта для сайтов, мобильных приложений и прототипов
• Автоматизация тестирования от «А» до «Ы» - Gennadiy Alpaev
• Учебник по SilkTest - Gennadiy Alpaev
• Учебник по TestComplete - Gennadiy Alpaev

Формальные методы

• Верификация программ методом Model Checking - А.М.Миронов
• Практикум по математической логике. Coq.
• Введение в верификацию автоматных программ на основе метода Model checking - С.Э. Вельдер, А.А. Шалыто