High-order operational techniques in semantics
| Άλλοι συγγραφείς: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Greek |
| Έκδοση: |
Cambridge University Press
1998
|
| Θέματα: |
| Περιγραφή τεκμηρίου: | Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων |
|---|---|
| ISBN: | 0 521 63168 8 |
