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.

Noch nicht die passende Literatur gefunden? → Book a Librarian

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

Ergebnis der Suche nach: idn=1052779859

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/1052779859
Art des Inhalts	Hochschulschrift
Titel	Timing model derivation : static analysis of hardware description languages / Marc Schlickling. Betreuer: Reinhard Wilhelm
Person(en)	Schlickling, Marc (Verfasser) Wilhelm, Reinhard (Akademischer Betreuer)
Verlag	Saarbrücken : Saarländische Universitäts- und Landesbibliothek
Zeitliche Einordnung	Erscheinungsdatum: 2013
Umfang/Format	Online-Ressource
Hochschulschrift	Saarbrücken, Universität des Saarlandes, Diss., 2012
Persistent Identifier	URN: urn:nbn:de:bsz:291-scidok-50746
URL	http://scidok.sulb.uni-saarland.de/volltexte/2013/5074/ (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Anmerkungen	In: Zugl. im Buchhandel: Berlin : epubli GmbH, 2013. - 978-3-8442-4513-4
Schlagwörter	VHDL ; Worst-Case-Laufzeit ; Sicherheitskritisches System ; Eingebettetes System ; Abstrakte Interpretation ; Statische Analyse
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration