Types For Proofs And Programs International Workshop Types 2003 Torino

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

Types For Proofs And Programs International Workshop Types 2003 Torino

البائع:
  • product image

٤٬٢٩٩٫٠٠ E£

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

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

طرق الدفع:

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

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

Types For Proofs And Programs International Workshop Types 2003 Torino

These Proceedings Contain A Selection Of Refereed Papers Presented At Or Related To The 3rd Annual Workshop Of The Types Working Group (computer-assisted Reasoning Based On Type Theory, Eu Ist Project 29001), Which Was Held D- Ing April 30 To May 4, 2003, In Villa Gualino, Turin, Italy. The Workshop Was Attended By About 100 Researchers. Out Of 37 Submitted Papers, 25 Were Selected After A Refereeing Process.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Springer Nature B.V
  • عدد الصفحات: 428
  • تاريخ النشر: 2004-06-15
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 557219410-1125488884
  • ISBN: 9783540221647
التوصيل

توصيل

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

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

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

الإرجاع

الإرجاع

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

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