разработка программного обеспечения книги
Что почитать, выбрать лучшие и популярные
Доступно по подписке
Не выбран
Доступно в абонементе
Не выбран
Формат
Язык
Высокая оценка
Не выбран
Книги с рейтингом 4 и 5 звёзд
Со скидкой по акции
Не выбран
Авторы Литрес
Не выбран
Эксклюзивы
Не выбран
Популярные
Formal Methods for Industrial Critical Systems. A Survey of Applications
Margaria Tiziana и др.
на английском
Текст PDF
9 499,12 ₽
Industrial Use of Formal Methods. Formal Verification
Jean-Louis Boulanger
на английском
Текст PDF
16 172,27 ₽
Formal Methods. Industrial Use from Model to the Code
Jean-Louis Boulanger
на английском
Текст PDF
16 172,27 ₽
Static Analysis of Software. The Abstract Interpretation
Jean-Louis Boulanger
на английском
Текст PDF
18 098,38 ₽
