Prisijungti kad pamatytumėte šį skaitmeninį objektą kitomis kalbomis
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Įnešėjai
- Huch, Frank Günter
Tema
Skaitmeninis objektas tipas
Teikėjas
Agregatorius
Šiame Skaitmeninis objektas esančios teisių pareikštys (jei nenurodyta kitaip)
- http://rightsstatements.org/vocab/InC/1.0/
Identifikatorius
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Kalba
- eng
Teikianti šalis
- Germany
Kolekcijos pavadinimas
Pirmą kartą paskelbta Europeana
- 2017-04-05T13:21:11.966Z
Paskutinį kartą atnaujinta iš teikėjas
- 2017-11-13T10:36:57.080Z