Світлій пам’яті
Jean-Raymond Abrial
6 листопада 1938 р. — 26 травня 2025 р.
Versalles · 5th arrondissement of Marseille
0 запалених свічок
Дописи перевіряються перед публікацією (15–60 хвилин).
Jean-Raymond Abrial, né le 6 novembre 1938 à Versailles et mort le 26 mai 2025 à Marseille, est un informaticien français. Ancien élève de l'École polytechnique, il est professeur à l'École polytechnique fédérale de Zurich, connu dans le monde du développement logiciel comme le créateur de la notation formelle Z et par la suite de la méthode B, puis Event-B. Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode.
— Source: Wikipedia (CC-BY-SA).
Співчуття та спогади
Станьте першим, хто залишить кілька слів.
Поділитися цією сторінкою
Створення сторінки займає кілька хвилин. За 15–60 хвилин вона буде опублікована — і назавжди.
Створити сторінку пам’яті