Isabelle
Isabelle - Generic Proof Assistant die wiskundige formules in een formele taal kan worden uitgedrukt ...
7.6 MB
Isabelle - Generic Proof Assistant die wiskundige formules in een formele taal kan worden uitgedrukt ...
7.6 MB
ALPHABETA - Projectmonitor / Automator / Manager die voor u voor uw geautomatiseerde build-systeem voor u kan zorgen ...
589 KB
EasyClipse voor Python - Gereedschappen voor General Java Development en IDE voor Python Development ...
87.1 MB
Refactorit - uitgebreid refactoring tool gericht op de behoeften van bedrijfsontwikkelaars ...
8.2 MB
Over ons