Katalog der Deutschen Nationalbibliothek

Expertensuche ?

24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.

Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.

Ergebnis der Suche nach: idn=958914842

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/958914842
Art des Inhalts	Hochschulschrift
Titel	Eine Methode zur Spezifikation eingebetteter Systeme unter Verwendung von Semantikerweiterungen / vorgelegt von Patricia Maria Sagmeister
Person(en)	Sagmeister, Patricia Maria (Verfasser)
Verlag	Berlin : Logos-Verl.
Zeitliche Einordnung	Erscheinungsdatum: 2000
Umfang/Format	XIV, 302 S. ; 21 cm
Hochschulschrift	Zugl.: Stuttgart, Univ., Diss., 2000
ISBN/Einband/Preis	978-3-89722-407-0 kart. : DM 79.00, sfr 71.90, S 576.60 3-89722-407-0 kart. : DM 79.00, sfr 71.90, S 576.60
Schlagwörter	Eingebettetes System ; Heterogenität ; Hardwareentwurf ; Softwareentwicklung ; Formale Spezifikationstechnik ; Spezifikationssprache
Sachgruppe(n)	28 Informatik, Datenverarbeitung
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: 2000 A 34577 Bereitstellung in Frankfurt
Leipzig	Signatur: 2000 A 34577 Bereitstellung in Leipzig

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

buchhandel.de

Administration