Autentificare pentru a vedea acest resursă culturală în alte limbi
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Contribuitori
- Huch, Frank Günter
Subiect
Tipul resursă culturală
Instituție furnizoare
Agregator
Mențiunea privind drepturile intelectuale privind drepturile intelectuale media pentru această resursă culturală (cu excepția cazului în care se specifică altfel)
- http://rightsstatements.org/vocab/InC/1.0/
Identificator
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Limbă
- eng
Țara de proveniență
- Germany
Numele colecției
Publicat pentru prima dată pe Europeana
- 2017-04-05T13:21:11.966Z
Ultima actualizare de la instituția furnizoare
- 2017-11-13T10:36:57.080Z