Introduction aux méthodes formelles - Christian Rinderknecht

2 Problématique : la spécification formelle des syst`emes d'infor- mation. 13 ...... livre en même temps s'exprime plus facilement par un invariant (du genre la.


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A