Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="rb"
Treffer 85821 von 92145
|
|
| Link zu diesem Datensatz | https://d-nb.info/952175045 |
| Art des Inhalts | Hochschulschrift |
| Titel | Formal methods and the development of dependable systems / Jan Peleska |
| Person(en) | Peleska, Jan (Verfasser) |
| Verlag | Kiel : Inst. für Informatik und Praktische Mathematik |
| Zeitliche Einordnung | Erscheinungsdatum: 1996 |
| Umfang/Format | VII, 170 S. : graph. Darst. ; 21 cm |
| Hochschulschrift | Zugl.: Kiel, Univ., Habil.-Schr. |
| ISBN/Einband/Preis | kart. |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Christian-Albrechts-Universität zu Kiel. Institut für Informatik und Praktische Mathematik: Bericht ; Nr. 9612 |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1997 A 61926
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1997 A 61926
Bereitstellung in Leipzig |
Treffer 85821 von 92145
Administration
