OSDN -- Open-Source-Software-Entwicklung und Downloads
Übersetzungsstatus von Deutsch translation status for de

Download von org.rodinp_1.9.0.202105121522-77c344946.jar (org.rodinp_1.9.0.202105121522-77c344946.jar ( externer Link: SourceForge.net): 14,263 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf org.rodinp_1.9.0.202105121522-77c344946.jar ( externer Link: SourceForge.net).

Datei-Informationen

Dateigröße
14,263 Bytes
MD5
ecfddf31e9d2e0cdeff810d38c4020b1

Wohin willst du als nächstes gehen?

Springe zum OSDN Projektseite Anderen Releases anzeigen

Projektbeschreibung

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