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

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

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

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
Версия	Версия 2.0
Тип	Тип bundle

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

Имя Файла	Размер
st-core-framework-2.0.pom
st-core-framework-2.0.jar	743 KB
st-core-framework-2.0-test-sources.jar	46 KB
st-core-framework-2.0-sources.jar	513 KB
st-core-framework-2.0-javadoc.jar	2 MB
Обзор