Custom cover image
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems / by Francisco Mendoza Cervantes
Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Karlsruhe : KIT Scientific Publishing, 2014Description: X, 168 S. : Ill., graph. DarstISBN:- 9783731501695
- 621.392 22/ger
- 004.21 22/ger
- 621.3 004
- 621.3
- Archivierung/Langzeitarchivierung gewährleistet DISS
| 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