Raptor

Herramienta Java para el razonamiento sobre programas imperativos
Descargar ahora

Raptor Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Precio:
  • FREE
  • Nombre del editor:
  • Imperial College London
  • Sitio web del editor:
  • http://rtm.hep.ph.ic.ac.uk
  • Sistemas operativos:
  • Mac OS X
  • Tamaño del archivo:
  • 1 KB

Raptor Etiquetas


Raptor Descripción

Raptor es una aplicación que se puede utilizar para razonar sobre programas imperativos. Raptor se puede utilizar para construir pruebas de programas con solo mediante el uso de los tipos de asignación de declaración. La puesta en concordancia con booleanos también se incorpora en la aplicación, así como los tipos de enteros y las matriz dimensionales.Programado en Java, Raptor se puede usar en una variedad de operación Los sistemas, incluidos los populares, como Windows, Mac OS X y Linux.


Raptor Software relacionado

Riffworks

Software de grabación de guitarra fácil con batería, efectos, colaboración en línea y podcasting. ...

149 102.3 MB

Descargar

Pintoresync

Gran herramienta para PhotoBlogging o Publishing and Compartir imágenes. ...

139 3 MB

Descargar

Sobre nosotros