Prijava za pregled ovog predmeta na drugim jezicima
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Suradnici
- Huch, Frank Günter
Tema
Vrsta predmet
Institucija iz koje dolazi
Agregator
Uvjeti korištenja medija u ovom zapisu (osim ako nije drugačije navedeno)
- http://rightsstatements.org/vocab/InC/1.0/
Identifikator
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Jezik
- eng
Država iz koje dolazi
- Germany
Naziv zbirke
Prvi put objavljeno na Europeana
- 2017-04-05T13:21:11.966Z
Zadnji put ažurirano od institucije koja pruža podatke
- 2017-11-13T10:36:57.080Z