Последняя версия 11.1 →

Semantic Turkey Console 10.2.1

Лицензия	Лицензия BSD-3-Clause
Категории	Категории Ant Компиляция и сборка KeY Данные Data Formats Formal Verification
Группа	Группа it.uniroma2.art.semanticturkey
Идентификатор	Идентификатор st-console
Версия	Версия 10.2.1
Тип	Тип bundle
Описание	Описание Semantic Turkey Console Karaf's custom console for Semantic Turkey
Организация-разработчик	Организация-разработчик ART Group, University of Rome, Tor Vergata

Скачать st-console 10.2.1

Имя Файла	Размер
st-console-10.2.1.pom
st-console-10.2.1.jar	3 KB
st-console-10.2.1-sources.jar	2 KB
Обзор

Зависимости

Модули Проекта