 | Triple-aFull-giftige bibliotheek voor (eindige) automaten geschreven in Java |
| Download nu | |
Triple-a Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Freeware
- Prijs:
- FREE
- Naam uitgever:
- Markus Strauch
- Uitgever website:
- Besturingssystemen:
- macOS
- Bestandsgrootte:
- 3.1 MB
Triple-a Tags
Triple-a Beschrijving
Full-giftige bibliotheek voor (eindige) automaten geschreven in Java Triple-A (Automatische analyse met Automata) is een volledig uitgeruste bibliotheek voor (eindige) automaten geschreven in Java met twee krachtige analysetools (omgaan met LTL-modelcontrole en rekenkundige rekenkunde) en een grafische gebruikersinterface die eromheen is gebouwd. Vereisten: · Java 1.5 of later
Triple-a Gerelateerde software
Catacomb
Componenten en hulpmiddelen voor toegankelijke computermodellering in de biologie ...
97 KB
