Katalog der Deutschen Nationalbibliothek

Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Aufgrund von Systemarbeiten sind die archivierten Webseiten vorübergehend nicht erreichbar.
 
Neuigkeiten Vom 7. April bis einschließlich 10. April (Ostern) ist die Deutsche Nationalbibliothek an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums in Leipzig sind in diesem Zeitraum von 10 bis 18 Uhr geöffnet.
 
 

Ergebnis der Suche nach: idn=1007079851



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1007079851
Art des Inhalts Hochschulschrift
Titel Anwendung normalisierter Eigenschaften zur Verbesserung von Qualitätsaussagen in der funktionalen Hardware-Verifikation / von Martin Oberkönig
Person(en) Oberkönig, Martin (Verfasser)
Ausgabe Als Ms. gedr.
Verlag Berlin : dissertation.de
Zeitliche Einordnung Erscheinungsdatum: 2010
Umfang/Format XIII, 137 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: Darmstadt, Techn. Univ., Diss., 2010
ISBN/Einband/Preis 978-3-86624-500-6 kart. : EUR 39.00 (DE)
Sprache(n) Deutsch (ger)
Beziehungen Dissertation.de ; 1600
Schlagwörter Hardwareverifikation ; Funktionalität ; Model Checking ; Formale Spezifikationstechnik ; Merkmalsbeschreibungssprache ; Hardwarebeschreibungssprache ; Simulation
DDC-Notation 004.24 [DDC22ger]; 621.392 [DDC22ger]
Sachgruppe(n) 004 Informatik ; 621.3 Elektrotechnik, Elektronik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2011 A 2268
Bereitstellung in Frankfurt
Leipzig Signatur: 2011 A 4434
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration