Telecharger Cours

Spécification en B - Irif

Notation de la ?substitution?. En B, la notion de substitution est fondamentale1. Elle sera la base de la spécification des opérations (cf. chapitre 2).



Download