Rodin

Uma plataforma de desenvolvimento para ajudá-lo com o seu trabalho.
Baixe Agora

Rodin Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • Event-B.org
  • Sistemas operacionais:
  • Windows All
  • Tamanho do arquivo:
  • 50.6 MB

Rodin Tag


Rodin Descrição

A Rodin é uma plataforma útil projetada para ajudá-lo com o desenvolvimento rigoroso e rigoroso desenvolvimento de serviços de software complexos confiáveis. Esta plataforma é baseada no método formal do evento-B e fornece suporte natural para refinamento e prova matemática.


Rodin Software Relacionado

Sobre nós