Anmelden um dies Objekt in anderen Sprachen anzuzeigen
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Mitwirkende
- Huch, Frank Günter
Betreff
- Informatik
- Verteiltes System
- Softwareentwicklung
- Funktionale Programmiersprache
- Programmverifikation
- Model Checking
- Abstrakte Interpretation
- Informatik
Art des Objekts
- Monografie
- Monografie
Mitwirkende
- Huch, Frank Günter
Betreff
- Informatik
- Verteiltes System
- Softwareentwicklung
- Funktionale Programmiersprache
- Programmverifikation
- Model Checking
- Abstrakte Interpretation
- Informatik
Art des Objekts
- Monografie
- Monografie
Datenpartner
Aggregator
Rechtehinweise der Medien in diesem Datensatz (sofern nicht anders angegeben)
- http://rightsstatements.org/vocab/InC/1.0/
Kennung
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Sprache
- eng
Bereitstellendes Land
- Germany
Name der Sammlung
Erstmals auf Europeana veröffentlicht
- 2017-04-05T13:21:11.966Z
Zuletzt aktualisiert vom Datenpartner
- 2017-11-13T10:36:57.080Z