Comparative metric semantics of programming languages nondeterminism and recursion
| Κύριος συγγραφέας: | Breugel, Franck van 1966- |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Boston
Birkhauser
1998
|
| Σειρά: | Progress in theoretical computer science
|
| Θέματα: |
Παρόμοια τεκμήρια
-
Action semantics
ανά: Mosses, Peter D.
Έκδοση: (1992) -
Compiling natural semantics
ανά: Pettersson, Mikael
Έκδοση: (1999) -
Domains and lambda-calculi
ανά: Amadio, Roberto M.
Έκδοση: (1998) -
Programming languages concepts and constructs
ανά: Sethi, Ravi
Έκδοση: (1996) -
Automata, languages and programming proceedings ...[of] 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001
Έκδοση: (2001)