Σύνδεση για να δείτε αυτό το τεκμήριο σε άλλες γλώσσες
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