• 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
Качественная разработка сайтов для всех