rodin

rodin

Лицензия: С открытым кодом
Количество загрузок:61
Последняя версия:3.1
Сообщить о неточности

Описание

Screenshot
Cкриншот

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 или Eclipse, которые часто используются вместе с rodin.

Комментарии

Спасибо за вашу оценку программы!
Пожалуйста, прокомментируйте Ваш выбор.
Ваша оценка:
Обновлено:
counter