Abstraction des solutions analytiques fabriquées (MASA) : une bibliothèque pour l’application de la méthode des solutions fabriquées à la vérification des logiciels numériques utilisés pour résoudre les systèmes d’équations algébriques et différentielle non linéaires.
historique de la version
- Version 0.20 posté sur 2010-12-09
Plusieurs correctifs et mises à jour - Version 0.20 posté sur 2010-12-09
Détails du programme
- Catégorie: Éducation > Autres
- Éditeur: masa.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 0.20
- Plate-forme: windows