Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Montag, 23. Juli, schließt die Deutsche Nationalbibliothek in Leipzig wegen einer Veranstaltung um 16 Uhr.
 
Neuigkeiten Vom 3. bis 8. September 2018 bleibt der Lesesaal der Deutschen Nationalbibliothek in Frankfurt am Main wegen Umbaumaßnahmen geschlossen. Die Ausstellungen des Deutschen Exilarchivs 1933–1945 sind ebenfalls geschlossen.
 

Ihre Meinung ist gefragt!

Umfrage zur Nutzung der Handbibliotheken in den Lesesälen der Deutschen Nationalbibliothek // 16. Juli bis 18. August 2018

 

Ergebnis der Suche nach: idn=1124363963



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1124363963
Art des Inhalts Hochschulschrift
Titel WoLFram - A Word Level Framework for Formal Verification and its Application / André Sülflow
Person(en) Sülflow, André (Verfasser)
Ausgabe 1. Auflage
Verlag Aachen : Shaker
Zeitliche Einordnung Erscheinungsdatum: 2010
Umfang/Format Online-Ressourcen, 198 Seiten : 6 Illustrationen (pdf)
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Sülflow, André: WoLFram - a word level framework for formal verification and its application
Hochschulschrift Dissertation, Universität Bremen, 2010
Persistent Identifier URN: urn:nbn:de:101:1-201701291013
ISBN/Einband/Preis 978-3-8322-8945-4
Sprache(n) Englisch (eng)
Beziehungen Berichte aus der Informatik
Anmerkungen Lizenzpflichtig
Langzeitarchivierung gewährleistet
Schlagwörter Systementwurf ; Verifikation ; Erfüllbarkeitsproblem ; Boolesche Formel ; Hardwarebeschreibungssprache ; Debugging
DDC-Notation 004.24 [DDC22ger]; 005.14 [DDC22ger]; 621.392 [DDC22ger]
Sachgruppe(n) 004 Informatik ; 620 Ingenieurwissenschaften und Maschinenbau

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration