piet
PiET ist ein überprüfung Werkzeug für 10 Verhaltensgleichwertigkeiten für das PU Kalkül.。
Status
Produkt/Beständig
Beabsichtigte Publikum
Benutzer mit Vorkenntnissen
Lizenz
LGPL
OS
multi Plattform
Programmiersprache
OCaml (Objective Caml)
Thema
Mathematik
Übersetzungen
Englisch
Benutzerschnittstelle
Java Swing
Programmierer
1
seit
2006-09-28 09:11
du kannst an folgendem URL downloaden
http://sourceforge.net/projects/piet