> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Formal methods and the development of dependable systems Beteiligte: Peleska, Jan [VerfasserIn] Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 1996 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9612 Umfang: VIII, 170 S.; graph. Darst Sprache: Englisch Schlagwörter: Systementwurf > Zuverlässigkeit > Formale Methode Entstehung: Hochschulschrift: Zugl.: Kiel, Univ., Habil.-Schr. Anmerkungen: Weitere Bestandsnachweise 0 : Bericht