rodin 3.1 для macOS может быть загружена с нашего сайта бесплатно. Это бесплатное приложение для macOS было создано разработчиком ETH Zurih and Others.
Rodin относится к категории Разработчикам. Этот файл загрузки был просканирован нашим встроенным антивирусом, который отметил его как полностью безопасный для использования.
От разработчика:
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.
Мы предлагаем оценить другие macOS программы, такие как Art Galleries, One Click Translate for Safari или Platform Flash Tool Lite, которые часто используются вместе с rodin.