![](/statics/img/blank.png)
JavaBDD 0.6
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 4.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur JavaBDD
Bibliothèque Java pour manipuler les BDD (Diagrammes de décision binaires). Les diagrammes de décision binaires sont largement utilisés dans la vérification des modèles, la vérification formelle, l’optimisation des diagrammes de circuits, etc.