The Format semantics of programming Languages: an introduction /cGlynn Winskel.
από: Winskel, Glynn.
Στοιχεία έκδοσης: (1993)
- Εμφάνιση παραπομπής
- Αποστολή με email
- Αποθήκευση
- Στα αγαπημένα
- Σελιδοδείκτης
- Προσθήκη στο καλάθι Αφαίρεση από το καλάθι
Semantics of programming languages: structures and techniques /
Αποθηκεύτηκε σε:
Κύριος συγγραφέας: | Gunter, Carl A. |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Massachusetts:
The MIT Press,
1992.
|
Σειρά: |
Foundations of Computing series.
|
Ταξινομικός αριθμός: |
005.13 GU. |
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
-
The Format semantics of programming Languages: an introduction /cGlynn Winskel.
από: Winskel, Glynn.
Στοιχεία έκδοσης: (1993) -
The logic of partial information /
από: Nait Abdallah, Areski, 1950-
Στοιχεία έκδοσης: (1995) -
Truth, deduction, and computation : logic and semantics for computer science /
από: Davis, R.E.
Στοιχεία έκδοσης: (1989) -
Doing Worlds with worlds: formal semantics without formal metaphysics /
από: Peregrin, Jaroslav.
Στοιχεία έκδοσης: (1995) -
The Structure of typed programming languages /
από: Schmidt, David A.
Στοιχεία έκδοσης: (1994)