Théorie de Test des programmes à contraintes : Méthodologie et outil de test, de localisation des fautes et de correction automatique des programme
Éditeur: Editions Universitaires Européennes
2012172 pagesISBN 9783841793249
Format: BrochéLangue : Français
Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Sicstus Prolog ou Gecode qui proposent des solutions robustes aux problèmes du monde réel...
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)