Programmes par mpvs.sf.net

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.