Algorithmen und Datenstrukturen

Erläutere eine formale Interpretation eines ADT!

  • pre: Bedingungen, die vor Ausführung der Operation erfüllt sein müssen (Vorbedingungen inkl. Übergabeparameter)
  • post: Bedingungen, die nach Ausführung der Operation garantiert sind (Nachbedingungen)

Diskussion