> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Data and control flow diagrams, statecharts and Z : their formalization, integration and real time extension Beteiligte: Petersohn, Carsta [VerfasserIn] Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 1997 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9801 Umfang: VIII, 231 S.; graph. Darst Sprache: Englisch RVK-Notation: SI 312 : Institut für Informatik und Praktische Mathematik (Kiel): Bericht Schlagwörter: Strukturierte Analyse > Echtzeitprogrammierung > Spezifikationssprache Flussdiagramm Entstehung: Hochschulschrift: Zugl.: Kiel, Univ., Diss., 1997 Anmerkungen: Weitere Bestandsnachweise 0 : Institut für Informatik und Praktische Mathematik <Kiel>: Bericht