Comparative metric semantics of programming languages nondeterminism and recursion
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston
Birkhauser
1998
|
Σειρά: | Progress in theoretical computer science
|
Θέματα: |
ΒΚΠ - Πατρα: BSC
Ταξιθετικός Αριθμός: |
005.13 B |
---|---|
Αντίγραφο 1 | Στη βιβλιοθήκη |