> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Tool support for system specification development and verification : preliminary proceedings of a workshop held in Malente, June 2 - 4, 1998 Beteiligte: Berghammer, Rudolf [Hrsg.] Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 1998 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9803 Umfang: 127 S.; Ill., graph. Darst Sprache: Englisch Schlagwörter: Softwarewerkzeug Softwarewerkzeug > Compiler-Compiler Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Institut für Informatik und Praktische Mathematik <Kiel>: Bericht