EPN 05 - Informatique https://informatique.cnam.fr/fr/ fr SPIP - www.spip.net Emploi du temps http://informatique.cnam.fr/fr/spip.php?article975 http://informatique.cnam.fr/fr/spip.php?article975 2008-10-06T16:46:40Z text/html fr Pierre COURTIEU NFP209 : Construction rigoureuse des logiciels(1) - <a href="http://informatique.cnam.fr/fr/spip.php?rubrique202" rel="directory">NFP209 : Construction rigoureuse des logiciels(1)</a> Supports de cours http://informatique.cnam.fr/fr/spip.php?article481 http://informatique.cnam.fr/fr/spip.php?article481 2005-09-30T14:29:10Z text/html fr frederic NFP209 : Construction rigoureuse des logiciels(1) <p>Vous pouvez trouver ici les supports de cours : Typage statique et logique de Hoare Transparents Typage statique (1-3) Logique de Hoare (1-7) L'atelier SPARK (AdaCore) L'atelier B Test et validation Model-checking</p> - <a href="http://informatique.cnam.fr/fr/spip.php?rubrique202" rel="directory">NFP209 : Construction rigoureuse des logiciels(1)</a> vide http://informatique.cnam.fr/fr/spip.php?article266 http://informatique.cnam.fr/fr/spip.php?article266 2005-07-25T11:22:58Z text/html fr frederic NFP209 : Construction rigoureuse des logiciels(1) <p>vide</p> - <a href="http://informatique.cnam.fr/fr/spip.php?rubrique202" rel="directory">NFP209 : Construction rigoureuse des logiciels(1)</a>