Katalog der Deutschen Nationalbibliothek

Neuigkeiten Vom 24. Dezember 2018 bis 1. Januar 2019 ist die Deutsche Nationalbibliothek an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums der Deutschen Nationalbibliothek in Leipzig sind vom 27. bis 30. Dezember 2018 jeweils von 10 bis 18 Uhr geöffnet. Die Präsentation „Albert Kapr 100“ ist geschlossen.
 
Neuigkeiten The German National Library will be closed from 24 December 2017 to 1 January 2018. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00 on 27 to 30 December 2018. The presentation “Albert Kapr” will be closed.
 
 

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