Anzeige
Hol es zusammen
Holen Sie es zusammen, ist ein Java-DAAP-Client / Server von einer XML-basierten Musikbibliothek gesichert. ...
HOL-TESTGEN.
HOL-TESTGEN ist A ist ein Test-Fall-Generator für spezifizierte Anteiltests. ...
Hol-OCL.
HOL-OCL ist eine interaktive Proof-Umgebung für die Objektbegrenzungssprache (OCL). ...
Einbetten flache Einbetten. Logik höherer Ordnung Beweiswelt Hol-OCL.