Jean-Louis Boulanger

Список книг автора Jean-Louis Boulanger

Название: CENELEC 50128 and IEC 62279 Standards

Автор: Jean-Louis Boulanger

Издательство: John Wiley & Sons Limited

Жанр: Техническая литература

Серия:

Название: Formal Methods Applied to Industrial Complex Systems

Автор: Jean-Louis Boulanger

Издательство: John Wiley & Sons Limited

Жанр: Программирование

Серия:

Название: Safety Management of Software-based Equipment

Автор: Jean-Louis Boulanger

Издательство: John Wiley & Sons Limited

Жанр: Техническая литература

Серия:

Название: Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method

Автор: Jean-Louis Boulanger

Издательство: John Wiley & Sons Limited

Жанр: Программирование

Серия:

Название: Safety of Computer Architectures

Автор: Jean-Louis Boulanger

Издательство: John Wiley & Sons Limited

Жанр: Программирование

Серия:

Название: Static Analysis of Software. The Abstract Interpretation

Автор: Jean-Louis Boulanger

Издательство: John Wiley & Sons Limited

Жанр: Программирование

Серия:

Название: Formal Methods. Industrial Use from Model to the Code

Автор: Jean-Louis Boulanger

Издательство: John Wiley & Sons Limited

Жанр: Техническая литература

Серия:

Название: Industrial Use of Formal Methods. Formal Verification

Автор: Jean-Louis Boulanger

Издательство: John Wiley & Sons Limited

Жанр: Техническая литература

Серия: