Prihlásiť sa, aby sa táto objekt zobrazila v iných jazykoch
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Prispievatelia
- Huch, Frank Günter
Predmet
Typ objekt
Poskytujúca inštitúcia
Agregátor
Právny stav na médiá v tomto objekt (pokiaľ nie je uvedené inak)
- http://rightsstatements.org/vocab/InC/1.0/
Identifikátor
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Jazyk
- eng
Poskytujúca krajina
- Germany
Názov zbierky
Prvýkrát zverejnené na Europeana
- 2017-04-05T13:21:11.966Z
Naposledy aktualizované zo strany správcovskej inštitúcie
- 2017-11-13T10:36:57.080Z