Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
82
80. Schätzen Sie algebraische oder konstruktive Spezifikation als mächtiger ein?
konstruktive Spezifikation
Z bringt viele mathematische Konstrukte bereits mit, die man sich in der algebraischen Spezifikation zuvor noch selbst spezifieren muss.
Z bringt viele mathematische Konstrukte bereits mit, die man sich in der algebraischen Spezifikation zuvor noch selbst spezifieren muss.
