Advertentie
HOL-OCL
HOL-OCL - Interactieve bewijsomgeving voor het object Constraint Language (OCL) ...
bouwen bewijs bewijs omgeving OCL milieu Verfijn de specificatie
Wijsheid Milieu
Een op raster gebaseerde productieomgeving die wordt gebruikt om bio-informatica specifieke toepassingen in te zetten ...
OpenCL-Milieu
Open source-reeks van hulpprogramma's gericht op het maken van OpenCl gemakkelijker te gebruiken ...