Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.

Ergebnis der Suche nach: tit all "Digitale Hardware/Software-Systeme: Spezifikation und Verifikation"

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/1003161308
Titel	Digitale Hardware/Software-Systeme : Spezifikation und Verifikation
Person(en)	Haubelt, Christian (Verfasser) Teich, Jürgen (Verfasser)
Verlag	Berlin, Heidelberg : Springer Berlin Heidelberg
Zeitliche Einordnung	Erscheinungsdatum: 2010
Umfang/Format	Online-Ressource
Andere Ausgabe(n)	Erscheint auch als Druck-Ausgabe: Haubelt, Christian: Digitale Hardware-Software-Systeme
Persistent Identifier	URN: urn:nbn:de:1111-20100603163 DOI: 10.1007/978-3-642-05356-6
URL	http://www.springerlink.com/content/978-3-642-05356-6 (Verlag)
ISBN/Einband/Preis	978-3-642-05356-6
EAN	9783642053566
Beziehungen	eXamen.press
Anmerkungen	Lizenzpflichtig
Schlagwörter	Eingebettetes System ; Digitales System ; Formale Spezifikationstechnik ; Verifikation ; SystemC ; CASHE
DDC-Notation	004.21 [DDC22ger]
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 1 von 1

Korrekturanfrage