Semantics Of The Probabilistic Typed Lambda Calculus Markov Chain Semantics T

١٠٬٤٩٠٫٠٠ E£
+ ١٬٦٢٦٫٩٩ E£ الشحن

Semantics Of The Probabilistic Typed Lambda Calculus Markov Chain Semantics T

البائع:
  • product image

١٠٬٤٩٠٫٠٠ E£

في المخزون
+ ١٬٦٢٦٫٩٩ E£ الشحن

سياسة الإرجاع لمدة 14 يوما

طرق الدفع:

تفاصيل المنتج

تفاصيل المنتج

Semantics Of The Probabilistic Typed Lambda Calculus Markov Chain Semantics T

This Book Takes A Foundational Approach To The Semantics Of Probabilistic Programming. It Elaborates A Rigorous Markov Chain Semantics For The Probabilistic Typed Lambda Calculus, Which Is The Typed Lambda Calculus With Recursion Plus Probabilistic Choice.the Book Starts With A Recapitulation Of The Basic Mathematical Tools Needed Throughout The Book, In Particular Markov Chains, Graph Theory And Domain Theory, And Also Explores The Topic Of Inductive Definitions. It Then Defines The Syntax And Establishes The Markov Chain Semantics Of The Probabilistic Lambda Calculus And, Furthermore, Both A Graph And A Tree Semantics.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Dirk Draheim
  • عدد الصفحات: 228
  • تاريخ النشر: 2018-05-04
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 557268010-1125537890
  • ISBN: 9783662568729
التوصيل

توصيل

يُرسل خلال 24 ساعة

  • STANDARD: ١٬٦٢٦٫٩٩ E£ - التسليم بين الثلاثاء 17 نوفمبر 2026 – الثلاثاء 15 ديسمبر 2026

يُشحن من المملكة المتحدة.

الإرجاع

الإرجاع

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل.

عرض سياسة الرد الكاملة