Vpis za ogled tega enote v drugih jezikih
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Sodelavci
- Huch, Frank Günter
Zadeva
Vrsta enota
Ponudnik podatkov
Agregator
Licenca za medije v tem enota (če ni navedeno drugače)
- http://rightsstatements.org/vocab/InC/1.0/
Identifikator
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Jezik
- eng
Država izvora
- Germany
Ime zbirke
Prvič objavljeno na Europeana
- 2017-04-05T13:21:11.966Z
Zadnjič posodobljeno s strani ponudnika podatkov
- 2017-11-13T10:36:57.080Z