Anzeige
Hol-Z
HOL-Z - Proof-Umgebung für z als Plug-In des generischen Satzes des Generikums-Vorsitzes Isabelle / in HOL erstellt ...
Spezifikation importieren Importeur Importspezifikation Proof-Umgebung
Hol-OCL.
HOL-OCL - Interactive Proof-Umgebung für die Objektbegrenzungssprache (OCL) ...
bauen nachweisen Proof-Umgebung OCL-Umgebung Spezifikation verfeinern.
Umgebung-Elf.
FREE- und Open Source Window Manager ...
verwalten Manager Verwaltung Fenstermanager Interface Manager
FileVault-Proof-Finder-Auswahl in Alias-Liste
Zerzögere FileVault-geschützte Finderauswahl in Aliase oder POSIX-Elemente ...
zwingen POSIX. Datentresor FileVault-geschützte Auswahl zaubere FileVault.
OpenCl-Umgebung
Open Source-Serie von Versorgungsunternehmen, die darauf abzielt, die OpenCl einfacher zu verwenden ...
kompilieren Kompiler OpenCL OpenCL-Compiler. kompilieren opencl.