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) -
Semantics of programming languages
ανά: Tennent, R. D.
Έκδοση: (1991) -
Semantics of programming languages : structures and techniques /
ανά: Gunter, Carl A.
Έκδοση: (1992) -
The formal semantics of programming languages : an introduction /
ανά: Winskel, G. (Glynn)
Έκδοση: (1993)