Comparative metric semantics of programming languages nondeterminism and recursion
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston
Birkhauser
1998
|
Σειρά: | Progress in theoretical computer science
|
Θέματα: |
Φυσική περιγραφή: | xix, 220 p. fig. 25 cm. |
---|---|
Βιβλιογραφία: | Includes bibliographical references and indexes |
ISBN: | 0817639276 |