Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

    *  Z ist eine Notation für konstruktive Mengenlehre und Prädikatenlogik.
    * Mit Object-Z lässt sich Software formal spezifizieren.
          o Ein Z-Dokument besteht primär aus erklärendem Text
          o und sekundär aus einem formalen Anteil.