• bukvolub.ru
  • Выбрать книгу
    • По названию
    • По автору
    • По возрасту
    • По категории
    • По издательству
    • По серии
    • По году издания
    • По типу
Александра Колчанова
Ди-джей
Ю. С. Антонов
Методические олимпиады учителей информатики республики Саха (Якутия)
Александра Колчанова
Собратья по творчеству
Александра Колчанова
Летняя ошибка
  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
Качественная разработка сайтов для всех