Разработка программного обеспечения
Доступно по подписке
Не выбран
Доступно в абонементе
Не выбран
Формат
Язык
Высокая оценка
Не выбран
Книги с рейтингом 4 и 5 звёзд
Со скидкой по акции
Не выбран
Авторы Литрес
Не выбран
Эксклюзивы
Не выбран
Популярные
Formal Methods for Industrial Critical Systems. A Survey of Applications
Margaria Tiziana и др.
на английском
Текст PDF
8 797,19 ₽
Industrial Use of Formal Methods. Formal Verification
Jean-Louis Boulanger
на английском
Текст PDF
14 977,23 ₽
Formal Methods. Industrial Use from Model to the Code
Jean-Louis Boulanger
на английском
Текст PDF
14 977,23 ₽
Static Analysis of Software. The Abstract Interpretation
Jean-Louis Boulanger
на английском
Текст PDF
16 761,02 ₽
