Hotlib.net
  • Главная
  • Категории
  • Серии
  • Авторы
  • Издательства

Jean-Louis Boulanger

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

    CENELEC 50128 and IEC 62279 Standards
    Jean-Louis Boulanger

    CENELEC 50128 and IEC 62279 Standards

    Подробнее
    Formal Methods Applied to Industrial Complex Systems
    Jean-Louis Boulanger

    Formal Methods Applied to Industrial Complex Systems

    Подробнее
    Safety Management of Software-based Equipment
    Jean-Louis Boulanger

    Safety Management of Software-based Equipment

    Подробнее
    Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
    Jean-Louis Boulanger

    Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method

    Подробнее
    Safety of Computer Architectures
    Jean-Louis Boulanger

    Safety of Computer Architectures

    Подробнее
    Static Analysis of Software. The Abstract Interpretation
    Jean-Louis Boulanger

    Static Analysis of Software. The Abstract Interpretation

    Подробнее
    Formal Methods. Industrial Use from Model to the Code
    Jean-Louis Boulanger

    Formal Methods. Industrial Use from Model to the Code

    Подробнее
    Industrial Use of Formal Methods. Formal Verification
    Jean-Louis Boulanger

    Industrial Use of Formal Methods. Formal Verification

    Подробнее
    • 1

    e-mail: [email protected]