This flashcard is just one of a free flashcard set. See all flashcards!
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.
