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

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

it.uniroma2.art.semanticturkey:st-core-framework 9.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
Версия	Версия 9.0
Тип	Тип bundle

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

Имя Файла	Размер
st-core-framework-9.0.pom
st-core-framework-9.0.jar	1 MB
st-core-framework-9.0-tests.jar	86 KB
st-core-framework-9.0-test-sources.jar	40 KB
st-core-framework-9.0-sources.jar	776 KB
st-core-framework-9.0-javadoc.jar	4 MB
Обзор