Présentation de l'auteur Jean-Raymond Abrial :

Livres publiés jusqu'à présent par Jean-Raymond Abrial :

Modélisation en Event-B : Ingénierie des systèmes et des logiciels - Modeling in Event-B: System and...
Cambridge
Ce livre présente une approche mathématique de la...
Modélisation en Event-B : Ingénierie des systèmes et des logiciels - Modeling in Event-B: System and Software Engineering
<<
1
>>

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)