miércoles, 14 de noviembre de 2007

yEd - Java™ Graph Editor

Este software es un poderoso editor de grafos de todo tipo basado en Java. La aplicación puede desacargarse para su uso fuera de línea, permite guardar los diseños y exportarlos en varios formatos. En nuestro curso puede ser útil para el diseño de grafos, árboles y automátas finitos.

Descargarlo de AQUÍ (Ver al final de la página).

Requiere tener instalado el software Java de Sun Microsystems.