wahr oder falsch
1) Die Verwendung erfolgt nur über die Schnittstelle.
2) Eine Signatur dient der umgangssprachlichen Beschreibung der Schnittstelle.
3) Mit der Spezifizierung eines ADTs kann seine Korrektheit bewiesen werden
4) ADTs lassen sich durch eine geeignete algebraische Spezifikation beschreiben
5) Eine Algebra ist ein Tripel aus Wertemenge, Funktionen und Gesetzen
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.