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

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

it.uniroma2.art.semanticturkey:st-core-framework 0.11

Semantic Turkey main project. It contains the core business logic of the system.

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

Скачать st-core-framework 0.11

Имя Файла	Размер
st-core-framework-0.11.pom
st-core-framework-0.11.jar	256 KB
st-core-framework-0.11-sources.jar	222 KB
st-core-framework-0.11-javadoc.jar	1 MB
Обзор