 | Babel-17Un langage de codage |
| Télécharger maintenant | |
Babel-17 Classement & Résumé
Publicité
- Licence:
- GPL
- Nom de l'éditeur:
- Steven Obua
- Systèmes d'exploitation:
- Windows All
- Taille du fichier:
- 4.3 MB
Babel-17 Mots clés
- langage de programmation la programmation Langue langage de codage Code d'écriture codage Bibliothèque de codage Volapyuk codage théorème prover Codage flexible Codage de programme Pas de codage Règles de codage FXCOP règles de codage Codage prédictif Théorème Convertisseur de codage environnement de codage CODING ICD9 CODING ICD 9 codage de site Web
Babel-17 La description
Babel-17 est à la fois une langue de programmation et une langue pour écrire des preuves formelles. C'est aussi un prouveur de théorème interactif basé sur la langue Babel-17. Obtenez Babel-17 et testez-le pour vous de voir ce qu'il peut faire!
Babel-17 Logiciels associés
ooc
Une bibliothèque pour les personnes florissantes pour l'orientation de l'objet et d'autres fonctionnalités de haut niveau ...
5.1 MB
Compiler911
Optimisation, objet facile et intelligent, Multi-Cible Object Pascal et Assembleur compilateur ...
2.9 MB