Hasi saioa elementu hau beste hizkuntza batzuetan ikusteko
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Laguntzaileak
- Huch, Frank Günter
Gaia
Elementu mota
Erakunde hornitzailea
Agregatzailea
Elementu honen baimenen egoera (besterik adierazi ezean)
- http://rightsstatements.org/vocab/InC/1.0/
Identifikatzailea
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Hizkuntza
- eng
Herrialde hornitzailea
- Germany
Bildumaren izena
Lehenengo aldiz argitaratua Europeana-n
- 2017-04-05T13:21:11.966Z
Erakunde hornitzaileak azken aldiz eguneratu du
- 2017-11-13T10:36:57.080Z