Gettement

Architecture générique pour les preuves
Télécharger maintenant

Gettement Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • GPL
  • Nom de l'éditeur:
  • Gapt Team
  • Systèmes d'exploitation:
  • Windows All
  • Taille du fichier:
  • 8.4 MB

Gettement Mots clés


Gettement La description

GAPT est un cadre théorique de la preuve. Le cadre vise à créer des types de données, des algorithmes, des analyseurs, des transformations et d'autres composants communs dans la théorie des preuves en général et la théorie des épreuves mécanisées en particulier. Prenez GAPP pour un essai routier pour voir à quel point il peut être utile dans vos projets de développement!


Gettement Logiciels associés

Admin admin

Une implémentation de la spécification de service d'administration d'événement OSGI pour une communication basée sur des événements ...

256 202 KB

Télécharger