[Méthode B] dependance entre module en B

[M77ATTAR]

Salut,
je suis entraint de preparer une presentation sur la dependance entre module en B. malheureusement j'ai pas pu trouver de documentations sur le net. j'aimerai bien si quelqu'un peut m'indiqer quelques réferences !
Merci d'avence !

[ouhraniufr]

bonjour tous,
je cherche des explications et la documentation concernant la substitution ANY X WHERE P THEN S END . le problème c'est que je ne trouve pas d'information concernant le prédicat P la question c'est que fait ANY lorsque P est false et aussi le cas ou ANY s’exécute avec les ensembles et l'ensemble est vide.
vraiment je ne trouve pas de doc sur le problème et j'ai parcouru tout les documents du Net
je serrai très reconnaissante si je trouve juste une indication pour trouver de l'information sur sa.
je vous souhaite à tous un bon courage dans vous recherches et sur tout bcp bcp bcp de documentation utile.

[ouhraniufr]

Bonjour tous,
Pour ceux intéressés par la repense c'est un document que j'ai pu rédiger trop long ils n'ont qu'a m'écrire un message personnel et je vous envoie le document PDF.
Excellente journée à tous