Technique de programmation structurée ?
Fermé
ikram01
Messages postés
1
Date d'inscription
vendredi 20 novembre 2009
Statut
Membre
Dernière intervention
20 novembre 2009
-
20 nov. 2009 à 20:51
cidrolin38 Messages postés 2048 Date d'inscription vendredi 7 décembre 2007 Statut Non membre Dernière intervention 17 avril 2024 - 20 nov. 2009 à 21:03
cidrolin38 Messages postés 2048 Date d'inscription vendredi 7 décembre 2007 Statut Non membre Dernière intervention 17 avril 2024 - 20 nov. 2009 à 21:03
A voir également:
- Technique de programmation structurée ?
- Application de programmation - Guide
- Revue technique evinrude gratuite - Forum Loisirs / Divertissements
- Programmation - Guide
- Logiciel programmation clé voiture gratuit - Forum Programmation
- Logiciel faux contrôle technique - Forum Logiciels
1 réponse
cidrolin38
Messages postés
2048
Date d'inscription
vendredi 7 décembre 2007
Statut
Non membre
Dernière intervention
17 avril 2024
27
20 nov. 2009 à 21:03
20 nov. 2009 à 21:03
Bonsoir,
Je n'ai plus les références fondamentales sous les yeux, je pense me souvenir que les fondateurs sont Wirth et Hoare dans les années 70, et une des techniques fondamentales pour prouver la validité d'un programme est celle d'invaraint de boucle. Cherche dans cette direction ...
Bonne soirée.
Je n'ai plus les références fondamentales sous les yeux, je pense me souvenir que les fondateurs sont Wirth et Hoare dans les années 70, et une des techniques fondamentales pour prouver la validité d'un programme est celle d'invaraint de boucle. Cherche dans cette direction ...
Bonne soirée.