Logi sisse et näha seda üksust teistes keeltes
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Kaasautorid
- Huch, Frank Günter
Teema
Üksuse liik
Pakkuja institutsioon
Agregaator
Selles üksuses sisalduva meedia õiguste avaldus (kui pole teisiti märgitud)
- http://rightsstatements.org/vocab/InC/1.0/
Identifikaator
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Keel
- eng
Pakkuja riik
- Germany
Kollektsiooni nimi
Esimest korda avaldati Europeana
- 2017-04-05T13:21:11.966Z
Viimati andmeid pakkuvast institutsioonist uuendatud
- 2017-11-13T10:36:57.080Z