- Mac
- Bildung und Wissenschaft
- Wissenschaft
- Triple-A
Triple-A
Produktbeschreibung
Triple-A 1.4.1 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist. Der eigentliche Entwickler dieser kostenlosen Software ist Markus Strauch.
Dieses Programm gehört zur Kategorie "Bildung und Wissenschaft" und Unterkategorie "Wissenschaft". Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind.
Vom Entwickler:
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java. The application comes with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie iPhoto Library Manager, Delicious Library 2 oder Steinberg Library Manager informieren, die an Triple-A ähnlich sein können.
Kommentare
Bitte hinterlasst einen Kommentar und begründent eure Wahl.