Dreifach A

Full-Leasing-Bibliothek für (endliche) Automaten in Java geschrieben
Jetzt downloaden

Dreifach A Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Freeware
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Markus Strauch
  • Website des Verlags:
  • Betriebssysteme:
  • macOS
  • Dateigröße:
  • 3.1 MB

Dreifach A Stichworte


Dreifach A Beschreibung

Voll ausgestattete Bibliothek für (endliche) Automaten in Java geschrieben Triple-A (Automatische Analyse mit Automaten) ist eine voll ausgestattete Bibliothek für (endliche) Automaten, die in Java mit zwei leistungsstarken Analysetools (Umgang mit LTL-Modellprüfungs- und Presburger-Arithmetika) und eine grafische Benutzeroberfläche, die um ihn herumgebaut ist, geschrieben. Anforderungen: · Java 1.5 oder höher


Dreifach A Zugehörige Software

Über uns