 | Babel-17Un lenguaje de codificación |
| Descargar ahora | |
Babel-17 Clasificación y resumen
Anuncio publicitario
- Licencia:
- GPL
- Nombre del editor:
- Steven Obua
- Sistemas operativos:
- Windows All
- Tamaño del archivo:
- 4.3 MB
Babel-17 Etiquetas
- lenguaje de programación programación idioma el lenguaje de codificación Código de escritura codificación Biblioteca de codificación Volapyuk Coding Prover de teorema codificación flexible codificación del programa Sin codificación Reglas de codificación de FXCOP Reglas de codificación Codificación predictiva Teorema Convertidor de codificación entorno de codificación Codificación ICD9 Codificación ICD 9 codificación de sitios web
Babel-17 Descripción
Babel-17 es tanto un lenguaje de programación como un idioma para escribir pruebas formales. También es un Prover Thorem Interactive basado en el idioma Babel-17. ¡Obtén babel-17 y poniéndolo por ti mismo para ver lo que realmente puede hacer!
Babel-17 Software relacionado
Compilador Intel C ++
Los compiladores de Intel ayudan a Windows Software Ejecutar a velocidades principales ...
83.6 MB
Compilador911
Optimización, compilador Pascal y ensamblador de objetos de múltiples objetivos múltiples ...
2.9 MB