> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Spezifikation reaktiver Systeme durch temporal stratifizierte Programme Beteiligte: Malik, Robi [VerfasserIn]; Mayer, Otto [Sonstige Person, Familie und Körperschaft] Erschienen: Kaiserslautern: Fachbereich Informatik, Univ., 1994 Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 25900 Umfang: 26 Bl; graph. Darst Sprache: Deutsch RVK-Notation: SS 5550 : Universität Kaiserslautern: Fachbereich Informatik: Interner Bericht Schlagwörter: Forschungsbericht Entstehung: Anmerkungen: Literaturverz. S. 25 - 26 Weitere Bestandsnachweise 0 : Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik
Bereichsbibliothek DrePunct – Magazin Signatur: 95 4 52194 001 Barcode: 10011304 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden