Вы не авторизовались

Зарегистрироваться
на нашем портале

Главная
Jean-Louis Boulanger

Jean-Louis Boulanger

Книги:

Без серии
- Safety of Computer Architectures (зарубежная компьютерная литература)
- Static Analysis of Software. The Abstract Interpretation (зарубежная компьютерная литература)
- Formal Methods. Industrial Use from Model to the Code (техническая литература)
- Industrial Use of Formal Methods. Formal Verification (техническая литература)