Types For Proofs And Programs International Workshop Types 2003 Torino

‏259.00 ₪
+ ‏122.99 ₪ משלוח

Types For Proofs And Programs International Workshop Types 2003 Torino

נמכר על ידי:
  • product image

‏259.00 ₪

במלאי
+ ‏122.99 ₪ משלוח

מדיניות החזרות ל-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
  • קטגוריה: מחשוב ואינטרנט
  • מספר עמודים: 428
  • שָׂפָה: English
  • מְחַבֵּר: Springer Nature B.V
  • מוציא לאור / תווית: Springer Nature B.V
  • פוּרמָט: Paperback
  • תאריך פרסום: 2004-06-15
  • מזהה Fruugo: 557219410-1125488884
  • ISBN: 9783540221647
משלוח

מְסִירָה

שילוח תוך 24 שעות

  • STANDARD: ‏122.99 ₪ - משלוח בין יום ד׳ 18 נובמבר 2026–יום ג׳ 08 דצמבר 2026

משלוח מ- בריטניה.

החזרות

החזרות

אנו עושים כמיטב יכולתנו להבטיח שהמוצרים שאתם מזמינים יישלחו אליכם במלואם ובהתאם למפרט שלכם. עם זאת, אם תקבלו הזמנה חלקית, או פריטים שונים מאלו שהזמנתם, או שיש סיבה אחרת לכך שאינכם מרוצים מההזמנה, באפשרותכם להחזיר את ההזמנה, או כל אחד מהמוצרים הכלולים בהזמנה, ולקבל החזר מלא עבור הפריטים.

הצג מדיניות ההחזרים המלאה