rodin 722y6y

par ETH Zurih and Others

Télécharger

141o4s

Type de licence: Open source

Nombre de téléchargements:62

Latest version:3.1

Signaler des informations incorrectes

Description 1z2d16

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 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.

Télécharger rodin

utile

Comment protéger votre Mac contre les logiciels malveillants

utile

Comment partager des fichiers

utile

Comment taper avec 10 doigts