Précédent : Langages de programmation fonctionnels Remonter : Parallélisme Suivant : Vérification de logiciel spatial