Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die Benutzungsbereiche der Deutschen Nationalbibliothek bleiben ab Montag (16.03.2020) bis auf Weiteres geschlossen. Ihre bestehenden Bestellungen werden nach Leihfristende ins Magazin geschickt. Neue Bestellungen sind nach Wiederöffnung der Bibliothek möglich. Der Direktversand von Kopien ist zurzeit nicht möglich. Die mehr als 1,3 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über 'Alle Standorte - Online (frei zugänglich)' gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link 'Archivobjekt öffnen' oder über die URN im Label 'Persistent Identifier'.
 
Neuigkeiten Public areas of the German National Library closed from Monday (16.03.2020) until further notice. Your existing orders will be sent to the magazine at the end of the loan period. New orders are possible after the library reopens. Until further notice there will be no document delivery service for users.
 
 

Ergebnis der Suche nach: idn=1122365985



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/1122365985
Art des Inhalts Hochschulschrift
Titel Test and diagnosis of embedded processor cores with formal methods / Andreas Riefert
Person(en) Riefert, Andreas (Verfasser)
Organisation(en) Der Andere Verlag GmbH (Verlag)
Verlag Uelvesbüll : Der Andere Verlag
Zeitliche Einordnung Erscheinungsdatum: 2016
Umfang/Format xiv, 166 Seiten : Diagramme ; 24 cm
Hochschulschrift Dissertation, Alberts-Ludwigs-Universität Freiburg, 2016
ISBN/Einband/Preis 978-3-86247-588-9 Broschur
3-86247-588-3
EAN 9783862475889
Sprache(n) Englisch (eng)
Beziehungen Design, test and verification of embedded systems ; vol. 11
Schlagwörter Eingebettetes System ; Mikroprozessor ; Selbsttest ; Prüfprogramm ; Diagnosesystem ; Fehlererkennung ; ATPG ; Formale Methode ; Framework <Informatik> ; Benchmark
DDC-Notation 004.24 [DDC22ger]; 621.381548 [DDC22ger]
Sachgruppe(n) 004 Informatik ; 621.3 Elektrotechnik, Elektronik
Weiterführende Informationen Inhaltsverzeichnis

Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.





Treffer 1 von 1
< < > <


E-Mail-IconAdministration