Isabelle.
Isabelle - Prova genérico que permite que as fórmulas matemáticas sejam expressas em uma linguagem formal ...
7.6 MB
Isabelle - Prova genérico que permite que as fórmulas matemáticas sejam expressas em uma linguagem formal ...
7.6 MB
Existe-DB - Sistema de Gerenciamento de Banco de Dados de Open Source inteiramente construído na tecnologia XML ...
39.3 MB
Refactorit - ferramenta abrangente de refatoração direcionada nas necessidades dos desenvolvedores corporativos ...
8.2 MB
Sobre nós