Bejelentkezés hogy ezt a tárgyat más nyelveken is megtekinthesse.
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Közreműködők
- Huch, Frank Günter
Tárgy
Az tárgy típusa
Szolgáltató intézmény
Aggregátor
Az ebben a tárgyban szereplő adathordozó licence (hacsak másképp nincs meghatározva).
- http://rightsstatements.org/vocab/InC/1.0/
Azonosító
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Nyelv
- eng
Szolgáltató ország
- Germany
Gyűjtemény neve
Először jelent meg az Europeana
- 2017-04-05T13:21:11.966Z
Utolsó frissítés a szolgáltató intézménytől
- 2017-11-13T10:36:57.080Z