![](/statics/img/blank.png)
Maude MSOS Tool
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 3.0/5 - 1 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre Maude MSOS Tool
A Ferramenta Maude MSOS é um ambiente formal para a especificação das especificações modulares da semântica operacional estrutural. É particularmente útil para a especificação formal das linguagens de programação e dos sistemas simultâneos.