A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems / by Francisco Mendoza Cervantes

Von:

Mendoza Cervantes, Francisco [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Karlsruhe : KIT Scientific Publishing, 2014Beschreibung: X, 168 S. : Ill., graph. DarstISBN:

9783731501695

Schlagwörter:

Genre/Form:

Andere physische Formen: Erscheint auch als: A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems. Online-Ausgabe Karlsruhe : KIT Scientific Publishing, 2014. Online-RessourceDDC-Klassifikation:

621.392 22/ger
004.21 22/ger
621.3 004
621.3

Bearbeitungsvermerk:

Archivierung/Langzeitarchivierung gewährleistet DISS

Hochschulschriftenvermerk: Zugl.: Karlsruhe, KIT, Diss., 2013 Call number: Grundsignatur: 2014 A 1772PPN: PPN: 784956065

Exemplare ( 4 )
Titelinformationen ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Exemplarnummer	Status	Barcode
Archiv (Magazin CS)	Bibliothek Campus Süd		Archiv	2014 A 1772		Verfügbar	51924017090
Freihandbestand Präsenznutzung	Bibliothek Campus Süd	elt 11	Lesesaal Technik (LST)	2014 A 1772	;b	Nicht ausleihbar	51923978090
Magazinbestand ausleihbar	Bibliothek Campus Süd		Geschlossenes Magazin	2014 A 1772	;c	Verfügbar	51923934090
Institutsbestand	ITIV			IB-3985		Nicht ausleihbar

Anzahl Vormerkungen: 0

Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90