Outil pratique pour aider les élèves à comprendre en profondeur la méthodologie de programmation classique basée sur les spécifications, les invariants en boucle et la décomposition en sous-problèmes.
historique de la version
- Version 1.1 posté sur 2007-09-07
Plusieurs correctifs et mises à jour - Version 1.1 posté sur 2007-09-07
Détails du programme
- Catégorie: Éducation > Autres
- Éditeur: mpvs.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 1.1
- Plate-forme: linux