Anzeige
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
OpenCl-Umgebung
Open Source-Serie von Versorgungsunternehmen, die darauf abzielt, die OpenCl einfacher zu verwenden ...
kompilieren Kompiler OpenCL OpenCL-Compiler. kompilieren opencl.