Auteur Jacques Valancogne
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
Article : texte imprimé
L'objectif de cet article ne vise pas à ce que le lecteur puisse tout connaître sur la méthode B ; ce serait impossible et prétentieux. The B-BOOK – Assigning Programs to Meanings de Jean-Raymond ABRIAL, l'inventeur de la méthode B, qui est à la[...]
