LiveLib.biz - Лайвлиб электронная библиотека
Toggle navigation
Главная
Авторы
Жанры
Издательства
Серии
Jean-Louis Boulanger
Список книг автора Jean-Louis Boulanger
Новинки
Лучшее
Рекомендации
1
CENELEC 50128 and IEC 62279 Standards - Jean-Louis Boulanger
Formal Methods Applied to Industrial Complex Systems - Jean-Louis Boulanger
Safety Management of Software-based Equipment - Jean-Louis Boulanger
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method - Jean-Louis Boulanger
Safety of Computer Architectures - Jean-Louis Boulanger
Static Analysis of Software. The Abstract Interpretation - Jean-Louis Boulanger
Formal Methods. Industrial Use from Model to the Code - Jean-Louis Boulanger
Industrial Use of Formal Methods. Formal Verification - Jean-Louis Boulanger
1
