Raptor.

Ferramenta Java para raciocinar sobre programas imperativos
Baixe Agora

Raptor. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Preço:
  • FREE
  • Nome do editor:
  • Imperial College London
  • Site do editor:
  • http://rtm.hep.ph.ic.ac.uk
  • Sistemas operacionais:
  • Mac OS X
  • Tamanho do arquivo:
  • 1 KB

Raptor. Tag


Raptor. Descrição

Raptor é uma aplicação que pode ser usada para raciocinar sobre programas imperativos. Raptor pode ser usado para construir provas de programas apenas usando os tipos de declaração de tarefa.Artesão com booleans também é incorporado no aplicativo, bem como tipos inteiros e matrizes dimensionais.Programmed em Java, Raptor pode ser usado em uma variedade de operação sistemas, incluindo os populares, como Windows, Mac OS X e Linux.


Raptor. Software Relacionado

Riffworks.

Software de gravação de guitarra fácil com tambores, efeitos, colaboração on-line e podcasting. ...

149 102.3 MB

Download

Fotosync.

Excelente ferramenta para fotoblogging ou publicação e compartilhamento de imagens. ...

139 3 MB

Download

Sobre nós