A Theory of Objects

108 590,00 Ft
+ 2 149,00 Ft szállítási költség
  • product image

A Theory of Objects

  • Márka: Unbranded
Értékesítő:

A Theory of Objects

  • Márka: Unbranded

108 590,00 Ft

Készleten
+ 2 149,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Értékesítő:

108 590,00 Ft

Készleten
+ 2 149,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Fizetési módok:

Leírás

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
  • Márka: Unbranded
  • Kategória: Számítástechnika és internet
  • Művész: Martin Abadi
  • Lapok száma: 396
  • Nyelv: English
  • Formátum: Paperback
  • Kiadás dátuma: 2012/09/05
  • Kiadó / Címke: Springer
  • Fruugo azonosító: 337881920-741541220
  • ISBN: 9781461264453

Kiszállítás és visszaküldés

Kiküldés 4 napon belül

  • STANDARD: 2 149,00 Ft - közötti szállítás P 30 január 2026–Sze 04 február 2026

Szállítás innen: Egyesült Királyság.

Minden tőlünk telhetőt megteszünk annak biztosítására, hogy rendelését hiánytalanul és előírásainknak megfelelően szállítás ki önnek. Viszont ha egy hiányos rendelést kap, vagy eltér a megrendelttől, vagy bármilyen más okból nem elégedett a rendeléssel, akkor visszaküldheti a rendelést vagy a rendelésben lévő bármely terméket, és visszatérítik a termék árának teljes összegét. Teljes visszaküldési irányelvek megtekintése.