Examens corriges

Génie logiciel avancé - IRIF

Spécification formelle des comportements: la méthode B. Mihaela Sighireanu (UFR Info P7) ... Logique des programmes (Hoare) : correction partielle.





Télécharger