Anzeige
Hol-OCL.
HOL-OCL - Interactive Proof-Umgebung für die Objektbegrenzungssprache (OCL) ...
bauen nachweisen Proof-Umgebung OCL-Umgebung Spezifikation verfeinern.
Suche verfeinern.
Ein Firefox-Add-On, mit dem Sie die Suche in Spotify durchführen können. ...