не последняя версия

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

it.uniroma2.art.semanticturkey:st-core-services 9.0

The set of core services bundled with the default Semantic Turkey XPI

Категории	Категории Ant Компиляция и сборка KeY Данные Data Formats Formal Verification
Группа	Группа it.uniroma2.art.semanticturkey
Идентификатор	Идентификатор st-core-services
Версия	Версия 9.0
Тип	Тип bundle

Скачать st-core-services 9.0

Имя Файла	Размер
st-core-services-9.0.pom
st-core-services-9.0.jar	974 KB
st-core-services-9.0-test-sources.jar	4 KB
st-core-services-9.0-sources.jar	516 KB
st-core-services-9.0-javadoc.jar	1 MB
Обзор