rodin

rodin

Lizenz: Open Source
Downloads insgesamt:62 (letzte Woche)
Die neueste Version:3.1
Falschangaben melden

Produktbeschreibung

Screenshot
Bildschirmfoto

Unsere Webseite stellt Ihnen rodin 3.1 als kostenlosen Download zur Verfügung. Unsere eingebauten Antivirenprogramme haben diesen Download durchgescannt und ihn als virenfrei eingestuft. Dieses Programm ist als "Programmierung" kategorisiert. Dieses kostenlose Tool wurde ursprünglich von ETH Zurih and Others konzipiert.

Vom Entwickler:

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.

Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Art Galleries, One Click Translate for Safari oder Eclipse informieren, die an rodin ähnlich sein können.

Kommentare

Danke für eure Programm-Bewertung!
Bitte hinterlasst einen Kommentar und begründent eure Wahl.
Deine Bewertung:
Das neueste Update der Information:
counter