Влизане, за да видите тази обект на други езици
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Сътрудници
- Huch, Frank Günter
Тема
Вид на обекта
доставчик на данни
Агрегатор
Права за ползване на медиите в този обект (освен ако не е посочено друго)
- http://rightsstatements.org/vocab/InC/1.0/
Идентификатор
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Език
- eng
Предоставяне на държава
- Germany
Име на колекцията
Публикуван за първи път в Europeana
- 2017-04-05T13:21:11.966Z
Последно актуализиран от предоставящата институция
- 2017-11-13T10:36:57.080Z