Formalisation et optimisation d'applications s'exécutant ... - SynDEx

Un exercice de style fréquent dans ce domaine consiste à élaborer une classifica- ... GFD _ D2 b? 2p. 2bc4 b ?p '. (H.21). D2. 2bc4 . GMB = (H .22). Page 261. H.1 ...