Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,6 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 Die Lesesäle der Deutschen Nationalbibliothek sind unter Beachtung der geltenden Hygiene- und Abstandsregelungen für einen eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: idn=96568427X



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/96568427X
Art des Inhalts Hochschulschrift
Titel Verification of Erlang programs using abstract interpretation and model checking / vorgelegt von Frank Günter Huch
Person(en) Huch, Frank Günter (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2001
Umfang/Format ca. 0,7 MB
Andere Ausgabe(n) Druckausg.: Huch, Frank Günter: Verification of Erlang programs using abstract interpretation and model checking
Hochschulschrift Aachen, Techn. Hochsch., Diss., 2001
Persistent Identifier URN: urn:nbn:de:hbz:82-opus-4303
URL http://sylvester.bth.rwth-aachen.de/dissertationen/2002/170/02_170.pdf
http://sylvester.bth.rwth-aachen.de/dissertationen/2002/170/index.htm (Verlag)
Sprache(n) Englisch (eng)
Schlagwörter Verteiltes System ; Softwareentwicklung ; Funktionale Programmiersprache ; Programmverifikation ; Model Checking ; Abstrakte Interpretation
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration