Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. LETHAL

LETHAL

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos
Descargar

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.

historial de versiones

  • Versión files publicado en 2009-10-30
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2009-10-30

Detalles del programa

Programas relacionados

  • TorrentStrike Gratis

    TorrentStrike es un rastreador PHP BitTorrent basado en XTBDev. Incluye foro phpbb, plantillas gráficas, Multilang e instalador integrado.

  • zefext Gratis

    El Zefext un framework extendido que se integra con PHP y ExtJS. Sistema basado en Zend Framework. El sistema se construye sobre los objetos laterales PHP, generando código javascript ExtJS. Opciones integradas: gestión de us

  • Emacs mode for editing PmWiki wiki-pages Gratis

    pmwiki-mode es un modo para Emacs que te permite navegar por una wiki pmWiki desde Emacs, pero su propósito principal es permitirte editar páginas wiki desde Emacs.

  • Space Invaders Trabant Saves Earth Gratis

    Este es un juego 2d Space Invaders like, escrito en C++ usando la biblioteca Allegro.

  • ReadItYourself! Gratis

    ReadItYourself! es un AppleScript simple para NetNewsWire que exporta noticias no leídas de una suscripción seleccionada a un iPod. Utiliza PHP para la conversión y su naturaleza simple lo convierte en un bonito proyecto de a

  • barebox Gratis

    barebox es un gestor de arranque diseñado para sistemas embebidos. Se ejecuta en una variedad de arquitecturas incluyendo x86, ARM, MIPS, PowerPC y otros.barebox tiene como objetivo ser un gestor de arranque versátil y fle

  • Universal Microchip PIC FW bootloader Gratis

    Microchip PIC18F/16F Universal FW Bootloader con encripción de descarga

  • Extremal Optimization Gratis

    Un paquete para proporcionar principalmente extremal Optimization y otras heurísticas aplicables a una variedad de problemas computacionales, sobre todo spin glasses.

  • Linux USB AT76C503A Wireless Driver Gratis

    Controlador para dispositivos Ethernet sin cables que utiliza el chip Atmel AT76C503A, incluido el adaptador DLink DWL-120.

  • casper Gratis

    CASPER tiene como objetivo proporcionar un entorno para la construcción de una ASP. Se basa en el kit de herramientas de Globus. El lado del cliente se basa en un motor de portlet e incluye software desarrollado por y/o der