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

Последняя версия 1.08-BETA →

de.hhu.stups:alloy2b 1.1-BETA

The Parser for our translation from Alloy to B returning a Prolog Term.

Группа	Группа de.hhu.stups
Идентификатор	Идентификатор alloy2b
Версия	Версия 1.1-BETA
Тип	Тип zip

Скачать alloy2b 1.1-BETA

Имя Файла	Размер
alloy2b-1.1-BETA.pom
alloy2b-1.1-BETA.zip	27 MB
alloy2b-1.1-BETA-sources.jar	7 KB
alloy2b-1.1-BETA-javadoc.jar	261 bytes
alloy2b-1.1-BETA-all.jar	14 MB
Обзор