 | Key-Coare.permite que você faça cálculo do hoare na ferramenta chave |
| Baixe Agora | |
Key-Coare. Classificação e resumo
Propaganda
- Licença:
- GPL
- Preço:
- FREE
- Nome do editor:
- The KeY Project
- Site do editor:
- http://www.key-project.org
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 1 KB
Key-Coare. Tag
Key-Coare. Descrição
Permite que você faça o cálculo do Hoare na tecla Key-Coare é um software gratuito e fácil de usar, construído em cima da chave e possui um cálculo de hoare com atualizações. Key-Coare é usado na verificação do programa de graduação de Chalmers para ensinar o Cálculo de Hoare.
Key-Coare. Software Relacionado
