Illoggja biex tara dan l-oġġett f'lingwi oħra
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Kontributuri
- Huch, Frank Günter
Suġġett
Tip ta' oġġett
Istituzzjoni fornitriċi
Aggregatur
Dikjarazzjoni tad-drittijiet tal-midja f'dan ir-rekord (sakemm mhux speċifikat mod ieħor)
- http://rightsstatements.org/vocab/InC/1.0/
Identifikatur
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Lingwa
- eng
Pajjiż fornitur
- Germany
Isem il-kollezzjoni
L-ewwel darba ppubblikata fuq Europeana
- 2017-04-05T13:21:11.966Z
L-aħħar aġġornament mill-istituzzjoni fornitriċi
- 2017-11-13T10:36:57.080Z