Logga in för att se detta objekt på andra språk
Verification of Erlang programs using abstract interpretation and model checking
Aachen, Techn. Hochsch., Diss., 2001
Medverkande
- Huch, Frank Günter
Ämne
Typ av objekt
Tillhandahållande institution
Aggregator
Rättighetsmärkning för media i detta objekt (om inte annat anges)
- http://rightsstatements.org/vocab/InC/1.0/
Identifierare
- http://nbn-resolving.de/urn:nbn:de:hbz:82-opus-4303
- http://nbn-resolving.de/urn:nbn:de:hbz:82-20021703
Språk
- eng
Tillhandahållande land
- Germany
Samlingens namn
Första gången publicerad på Europeana
- 2017-04-05T13:21:11.966Z
Sista uppdateringen från tillhandahållande institution
- 2017-11-13T10:36:57.080Z