A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems / by Francisco Mendoza Cervantes
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Karlsruhe : KIT Scientific Publishing, 2014Beschreibung: 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
| 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