Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: idn=96568427X



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://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) Erscheint auch als Druck-Ausgabe: 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
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration