rodin

rodin

Type de licence: Open source
Nombre de téléchargements:62 (1 la semaine dernière)
Latest version:3.1
Signaler des informations incorrectes

Description

Screenshot
Capture d'écran

Notre logithèque vous offre de télécharger gratuitement rodin 3.1. Sur notre site, vous trouverez ce logiciel dans Outils de développement et plus précisément IDE. C'est grâce à ETH Zurih and Others que ce programme gratuit a vu le jour. Ce téléchargement a été vérifié par notre antivirus intégré, qui l'a certifié sans virus.

Du développeur:

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.

Utilisateur de rodin, vous pourriez être intéressé aussi par ces outils : TeamViewer, WinZip Mac ou WinRAR.

Commentaires

Merci d'avoir évalué ce programme!
Merci d'ajouter un commentaire expliquant les raisons de votre vote.
Votre vote:
Info mise à jour:
counter