© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 5. Model Checking Modellbasierte Softwareentwicklung 1 17.01.2013.
© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 2.4 The Z Notation [Reference: M. Spivey: The Z Notation, Prentice Hall]
HEINZ NIXDORF INSTITUT. Overview What are Topic Maps? Graphical Visualizations for Topic Maps Establishing Asossiations by graphical means XML Tools in.
Software( technik ) praktikum SS 2013
![© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 2.4 The Z Notation [Reference: M. Spivey: The Z Notation, Prentice Hall]](https://static.fdocuments.us/doc/330x215/551629b8550346a2308b5d47/-fachgebiet-softwaretechnik-heinz-nixdorf-institut-universitaet-paderborn-24-the-z-notation-reference-m-spivey-the-z-notation-prentice-hall.jpg)
