A Theory of Objects

1 199,00 zł
+ 29,49 zł wysyłka
  • product image

A Theory of Objects

  • Marka: Unbranded
Sprzedawca:

A Theory of Objects

  • Marka: Unbranded

1 199,00 zł

W magazynie
+ 29,49 zł wysyłka

Polityka zwrotów w ciągu 14 dni

Sprzedawca:

1 199,00 zł

W magazynie
+ 29,49 zł wysyłka

Polityka zwrotów w ciągu 14 dni

Metody płatności:

Opis

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
  • Marka: Unbranded
  • Kategoria: Komputery i Internet
  • Data wydania: 2012/09/05
  • Format: Paperback
  • Język: English
  • Wydawca / Wytwórnia płytowa: Springer
  • Ilość stron: 396
  • Wykonawca: Martin Abadi
  • Identyfikator Fruugo: 337881920-741541220
  • ISBN: 9781461264453

Dostawa

Wysyłka w ciągu 4 dni

  • STANDARD: 29,49 zł - Dostawa między wt. 21 lipca 2026–pt. 24 lipca 2026

Wysyłka z Wielka Brytania

Zwroty i anulowanie

Zwroty

Dokładamy wszelkich starań, aby zamówione produkty były dostarczane w całości i zgodnie z Państwa wymaganiami. Jeśli jednak otrzymają Państwo niekompletne zamówienie, przedmioty inne niż zamówione lub istnieje inny powód, dla którego nie są Państwo zadowoleni z zamówienia, mogą Państwo zwrócić zamówienie lub dowolne produkty objęte zamówieniem i otrzymać pełny zwrot kosztów za te przedmioty.

Pokaż pełną politykę zwrotów

Anulacje

Masz prawo odstąpić od zakupu w ciągu 14 dni od otrzymania zamówienia bez podania przyczyny. Aby łatwo skorzystać z tego prawa, możesz skorzystać z linku „Anuluj moje zamówienie” w stopce każdej strony lub na swoim koncie Fruugo w sekcji „Zamówienia”. Po skorzystaniu z prawa do odstąpienia od umowy wyślemy Ci e-mail z potwierdzeniem. Jeśli Twoje zamówienie zostało już wysłane przez sprzedawcę, przekażemy Ci niezbędne instrukcje dotyczące zwrotu, aby zapewnić szybkie przetworzenie zwrotu.

Zobacz pełną politykę anulowania