Ansätze zur formalen Verifikation analoger Schaltungen / Lars Hedrich
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: Verein Deutscher Ingenieure. Fortschritt-Berichte VDI / 20 ; 257Verlag: Düsseldorf : VDI-Verl., 1997Auflage: Als Ms. gedrBeschreibung: X, 128 S. : Ill., graph. DarstISBN:- 3183257203
- 1
Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 97 A 1954 | Verfügbar | 09042006177 | |
Institutsbestand | ITIV | IB-3123 | Nicht ausleihbar |
Anzahl Vormerkungen: 0
Archivierung prüfen 20240511 DE-640 1 pdager