Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Die 2,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 Aufgrund von Systemarbeiten sind die archivierten Webseiten vorübergehend nicht erreichbar.
 
 

Ergebnis der Suche nach: idn=1015433413



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1015433413
Art des Inhalts Hochschulschrift
Titel Invariantengenerierung für die Verifikation von System-on-Chip-Protokollimplementierungen / von Max Thalmaier
Person(en) Thalmaier, Max (Verfasser)
Ausgabe Als Ms. gedr.
Verlag Berlin : dissertation.de - Verl. im Internet
Zeitliche Einordnung Erscheinungsdatum: 2011
Umfang/Format VIII, 178 S. : graph. Darst. ; 21 cm, 257 g
Hochschulschrift Zugl.: Kaiserslautern, Techn. Univ., Diss., 2011
ISBN/Einband/Preis 978-3-86624-542-6 kart. : EUR 43.00 (DE), EUR 44.30 (AT)
EAN 9783866245426
Sprache(n) Deutsch (ger)
Beziehungen Dissertation.de ; 1642
Schlagwörter System-on-Chip ; Model Checking ; Erfüllbarkeitsproblem ; Binäres Entscheidungsdiagramm ; Erreichbarkeit ; Formale Spezifikationstechnik ; Hardwareverifikation ; Invariante ; Verfeinerung ; Induktionsbeweis
DDC-Notation 004.24 [DDC22ger]; 621.395 [DDC22ger]; 004.015113 [DDC22ger]
Sachgruppe(n) 004 Informatik ; 621.3 Elektrotechnik, Elektronik
Weiterführende Informationen Inhaltsverzeichnis
Ausführliche Beschreibung
Inhaltstext

Frankfurt Signatur: 2011 A 72475
Bereitstellung in Frankfurt
Leipzig Signatur: 2011 A 87388
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration