Алгоритмы
Доступно по подписке
Не выбран
Доступно в абонементе
Не выбран
Формат
Язык
Высокая оценка
Не выбран
Книги с рейтингом 4 и 5 звёзд
Авторы Литрес
Не выбран
Эксклюзивы
Не выбран
Популярные
Industrial Use of Formal Methods. Formal Verification
Jean-Louis Boulanger
на английском
Текст PDF
15 768,18 ₽
Formal Methods. Industrial Use from Model to the Code
Jean-Louis Boulanger
на английском
Текст PDF
15 768,18 ₽
Static Analysis of Software. The Abstract Interpretation
Jean-Louis Boulanger
на английском
Текст PDF
17 646,16 ₽
