A Theory of Objects

279,00 €
+ 8,49 € Αποστολή
  • product image

A Theory of Objects

  • Μάρκα: Unbranded
Πωλήθηκε από:

A Theory of Objects

  • Μάρκα: Unbranded

279,00 €

Σε απόθεμα
+ 8,49 € Αποστολή

Πολιτική επιστροφών 14 ημερών

Πωλήθηκε από:

279,00 €

Σε απόθεμα
+ 8,49 € Αποστολή

Πολιτική επιστροφών 14 ημερών

Μέθοδοι πληρωμής:

Περιγραφή

A Theory of Objects

Prologue. - Review: Object-Oriented Features. - 1 Object Orientation. - 2 Class-Based Languages. - 3 Advanced Class-Based Features. - 4 Object-Based Languages. - 5 Modeling Object-Oriented Languages. - I: Untyped and First-Order Calculi. - 6 Untyped Calculi. - 7 First-Order Calculi. - 8 Subtyping. - 9 Recursion. - 10 Untyped Imperative Calculi. - 11 First-Order Imperative Calculi. - 12 A First-Order Language. - II: Second-Order Calculi. - 13 Second-Order Calculi. - 14 A Semantics. - 15 Definable Covariant Self Types. - 16 Primitive Covariant Self Types. - 17 Imperative Calculi with Self Types. - 18 Interpretations of Object Calculi. - 19 A Second-Order Language. - III: Higher-Order Calculi. - 20 A Higher-Order Calculus. - 21 A Language with Matching. - Epilogue. - APPENDIX: Rules and Proofs. - A Fragments. - A. 1 Simple-Objects Fragments. - A. 2 Other Typing Fragments. - A. 3 Other Equational Fragments. - B Systems. - C Proofs. - C. 1 Proof of the Variance Lemma from Section 13. 3. - C. 2 Proof of the Variance Lemma from Section 16. 4. - C. 3 Deriving the Rules for ?-Objects from Section 15. 1. 2. - C. 4 Denotational Soundness of Equational Rules. - List of Figures. - List of Tables. - List of Notations. - List of Languages. Language: English
  • Μάρκα: Unbranded
  • Κατηγορία: Πληροφορική & Διαδίκτυο
  • Művész: Martin Abadi
  • Nyelv: English
  • Kiadó / Kiadó: Springer
  • Formátum: Paperback
  • Oldalak száma: 396
  • Megjelenés dátuma: 2012/09/05
  • Fruugo ID: 337881920-741541220
  • ISBN: 9781461264453

Παράδοση & Επιστροφές

Αποστέλλεται σε 6 μέρες

  • STANDARD: 8,49 € - Παράδοση μεταξύ Τρί 06 Ιανουαρίου 2026–Παρ 09 Ιανουαρίου 2026

Αποστέλλεται από Ηνωμένο Βασίλειο.

Κάνουμε ό,τι καλύτερο μπορούμε για να εξασφαλίσουμε ότι τα προϊόντα που παραγγέλνετε αποστέλλονται σε εσάς πλήρως και σύμφωνα με τις προδιαγραφές σας. Παρ' όλα αυτά, αν παραλάβετε μία ελλιπή παραγγελία ή προϊόντα διαφορετικά από αυτά που παραγγείλατε ή αν υπάρχει κάποιος άλλος λόγος που δεν είστε ικανοποιημένοι με την παραγγελία, μπορείτε να την επιστρέψετε ολόκληρη ή κάποια προϊόντα από αυτή και να λάβετε πλήρη επιστροφή χρημάτων για τα προϊόντα. Προβολή πλήρους πολιτικής επιστροφών