| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииAnt Компиляция и сборка KeY Данные Data Formats Formal Verification |
| Группа | Группаit.uniroma2.art.semanticturkey |
| Идентификатор | Идентификаторst-core-services |
| Версия | Версия10.1.1 |
| Тип | Типbundle |
| Описание |
ОписаниеSemantic Turkey CORE Services
The set of core services bundled with the default Semantic Turkey XPI
|
| Организация-разработчик |
Организация-разработчик |
| Имя Файла | Размер |
|---|---|
| st-core-services-10.1.1.pom | |
| st-core-services-10.1.1.jar | 4 MB |
| st-core-services-10.1.1-test-sources.jar | 4 KB |
| st-core-services-10.1.1-sources.jar | 565 KB |
| st-core-services-10.1.1-javadoc.jar | 2 MB |
| Обзор |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.springframework : spring-web | jar | 3.2.14.RELEASE |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| junit : junit | jar | 4.12 |