LETHAL
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 5.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de LETHAL
LETHAL es una biblioteca Java para trabajar con autómatas de árbol y seto finitos. Proporciona una gran variedad de operaciones y evaluaciones de propiedades. Además, la biblioteca viene con una interfaz gráfica de usuario con scripts para comenzar rápidamente.