1. Онлайн книги
2. Все авторы
3. Все книги автора Jean-Louis Boulanger

Все книги автора Jean-Louis Boulanger

Компьютеры/Программирование

• 0+ Formal Methods Applied to Industrial Complex Systems
• 0+ Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
• 0+ Safety of Computer Architectures
• 0+ Static Analysis of Software. The Abstract Interpretation

Наука, Образование/Техническая литература

• 0+ CENELEC 50128 and IEC 62279 Standards
• 0+ Formal Methods. Industrial Use from Model to the Code
• 0+ Industrial Use of Formal Methods. Formal Verification
• 0+ Safety Management of Software-based Equipment