Custom cover image
Custom cover image

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

By: Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Karlsruhe : KIT Scientific Publishing, 2014Description: X, 168 S. : Ill., graph. DarstISBN:
  • 9783731501695
Subject(s): Genre/Form: Additional physical formats: Erscheint auch als: A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems. Online-Ausgabe Karlsruhe : KIT Scientific Publishing, 2014. Online-RessourceDDC classification:
  • 621.392 22/ger
  • 004.21 22/ger
  • 621.3 004
  • 621.3
Action note:
  • Archivierung/Langzeitarchivierung gewährleistet DISS
Dissertation note: Zugl.: Karlsruhe, KIT, Diss., 2013 Call number: Grundsignatur: 2014 A 1772PPN: PPN: 784956065
Holdings
Item type Home library Collection Shelving location Call number Copy number Status Barcode
Archiv (Magazin CS) Bibliothek Campus Süd Archiv 2014 A 1772 Available 51924017090
Freihandbestand Präsenznutzung Bibliothek Campus Süd elt 11 Lesesaal Technik (LST) 2014 A 1772 ;b Not for loan 51923978090
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 2014 A 1772 ;c Available 51923934090
Institutsbestand ITIV IB-3985 Not for loan
Total holds: 0

Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90