rodin

Tipo de licencia: Código abierto

Descargas totales:56

Latest version:3.1

Captura de pantalla

Rodin 3.1 puede descargarse desde nuestra página web gratuitamente. Este programa sin coste fue desarrollado originariamente por ETH Zurih and Others. A las aplicaciones del grupo Desarrollo, subgrupo IDE, es a las que pertenece esta herramienta. El resultado de nuestro antivirus ha determinado que esta descarga es segura.

Del desarrollador:

Rodin is an open tool platform for the cost effective rigorous development of dependable complex software systems and services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

This platform contributes to the Eclipse framework and is extensible using the Eclipse plug-in mechanism.

Quizás esté interesado en probar otros programas, como Art Galleries, One Click Translate for Safari o Platform Flash Tool Lite, que podrían ser parecidos a rodin.

Descarga rodin

Reportar información incorrecta

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos