Zaloguj się aby zobaczyć ten obiekt cyfrowy w innych językach
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Współtwórcy
- Huch, Frank Günter
Temat
Rodzaj obiekt cyfrowy
Dostawca danych
Agregator
Oświadczenie prawne na media w tym rekordzie (chyba że określono inaczej)
- http://rightsstatements.org/vocab/InC/1.0/
Identyfikator
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Język
- eng
Kraj dostarczający
- Germany
Nazwa Kolekcji
Po raz pierwszy opublikowano w Europeana
- 2017-04-05T13:21:11.966Z
Ostatnia aktualizacja od dostawcy danych
- 2017-11-13T10:36:57.080Z