Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=948910666
Link zu diesem Datensatz | https://d-nb.info/948910666 |
Art des Inhalts | Hochschulschrift |
Titel | Specification and verification of hybrid and real time systems / Yassine Lakhnech. Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel |
Person(en) | Lakhnech, Yassine (Verfasser) |
Verlag | Kiel : Inst. für Informatik und Praktische Mathematik |
Zeitliche Einordnung | Erscheinungsdatum: 1996 |
Umfang/Format | 187 S. : graph. Darst. ; 21 cm |
Hochschulschrift | Zugl.: Kiel, Univ., Diss., 1996 |
ISBN/Einband/Preis | kart. |
Sprache(n) | Englisch (eng) |
Beziehungen | Christian-Albrechts-Universität zu Kiel. Institut für Informatik und Praktische Mathematik: Bericht ; Nr. 9609 |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: 1996 A 64810
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 1996 A 64810
Bereitstellung in Leipzig |