Mac
FR
rodin

rodin 284l5s

Télécharger

3v4w3

Type de licence: Open source
Nombre de téléchargements:62
Latest version:3.1
Signaler des informations incorrectes

Description 1d5r51

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

utile
Comment protéger votre Mac contre les logiciels malveillants
utile
Comment partager des fichiers
utile
Comment taper avec 10 doigts

Commentaires 4o5da

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

Aventure
Dernières mises à jour
WineBottler
WineBottler

Optimisation Système

Google Chrome
Google Chrome

Navigateurs

Slack
Slack

Texting & Video calls

Facilite les téléchargements Facilite les téléchargements
Découvrez FDM
Le des extensions Vous pouvez obtenir des modules complémentaires qui téléchargent des fichiers/vidéos à partir de sites Web arbitraires.