Toutes les solutions
10 solutions trouvées
Alt-Ergo Theorem Prover
Par OCAMLPRO
Alt-Ergo est un solveur SMT (Satisfiability Modulo Theories) automatique conçu pour la vérification de logiciels. Il pro...
API PDP (marque blanche/grise facture électronique)
Par AXE-INNOVATION
API de facturation électronique en marque blanche ou marque grise, permettant aux éditeurs de logiciels et aux entrepris...
Gestion des achats (collecte, scan et paiement de factures fournisseurs)
Par AXE-INNOVATION
Solution de gestion des factures fournisseurs avec collecte automatique, scan OCR, circuit de validation et paiement int...
Paiements et encaissements
Par AXE-INNOVATION
Solution de paiement et d'encaissement intégrée à un logiciel de facturation. Permet de régler les factures fournisseurs...
SeaCoral Test Generator
Par OCAMLPRO
SeaCoral est un outil de génération automatique de tests unitaires pour le langage C. Il combine fuzzing, model checking...
SEQINO
Par AXE-INNOVATION
Logiciel de facturation et de pré-comptabilité pour gérer les achats, ventes et paiements.
SEQINO (logiciel de facturation électronique)
Par AXE-INNOVATION
SEQINO est un logiciel de facturation électronique qui simplifie la création, l'envoi et l'encaissement des factures. Il...
Sieste
Par OCAMLPRO
Sieste est une plateforme informatique interne complète, sécurisée par conception, destinée aux PME et industries critiq...
SuperBOL for GnuCOBOL
Par OCAMLPRO
SuperBOL for GnuCOBOL est un écosystème open source qui associe le compilateur GnuCOBOL et l'environnement de développem...
Waro
Par WARO
Plateforme de mesure et réduction de l'impact environnemental des produits pour une écoconception.
Alt-Ergo Theorem Prover
Par OCAMLPRO
Alt-Ergo est un solveur SMT (Satisfiability Modulo Theories) automatique conçu pour la vérification de logiciels. Il prouve des formules mathématiques...
API PDP (marque blanche/grise facture électronique)
Par AXE-INNOVATION
API de facturation électronique en marque blanche ou marque grise, permettant aux éditeurs de logiciels et aux entreprises de se conformer à la réform...
Gestion des achats (collecte, scan et paiement de factures fournisseurs)
Par AXE-INNOVATION
Solution de gestion des factures fournisseurs avec collecte automatique, scan OCR, circuit de validation et paiement intégré. Permet d'importer des fa...
Paiements et encaissements
Par AXE-INNOVATION
Solution de paiement et d'encaissement intégrée à un logiciel de facturation. Permet de régler les factures fournisseurs par virement, programmé ou gr...
SeaCoral Test Generator
Par OCAMLPRO
SeaCoral est un outil de génération automatique de tests unitaires pour le langage C. Il combine fuzzing, model checking et analyse concolique pour ma...
SEQINO
Par AXE-INNOVATION
Logiciel de facturation et de pré-comptabilité pour gérer les achats, ventes et paiements.
SEQINO (logiciel de facturation électronique)
Par AXE-INNOVATION
SEQINO est un logiciel de facturation électronique qui simplifie la création, l'envoi et l'encaissement des factures. Il permet également la gestion d...
Sieste
Par OCAMLPRO
Sieste est une plateforme informatique interne complète, sécurisée par conception, destinée aux PME et industries critiques. Elle combine logiciels et...
SuperBOL for GnuCOBOL
Par OCAMLPRO
SuperBOL for GnuCOBOL est un écosystème open source qui associe le compilateur GnuCOBOL et l'environnement de développement SuperBOL Studio. Il permet...
Waro
Par WARO
Plateforme de mesure et réduction de l'impact environnemental des produits pour une écoconception.