Types For Proofs And Programs International Workshop Types 2003 Torino

₺4.099,00
+ ₺1.505,99 Kargo

Types For Proofs And Programs International Workshop Types 2003 Torino

Satıcı:
  • product image

₺4.099,00

Stokta var
+ ₺1.505,99 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

Ürün detayları

Ürün detayları

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.
  • Marka: Springer Nature B.V
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Paperback
  • Yayın Tarihi: 2004-06-15
  • Dil: English
  • Yazar: Springer Nature B.V
  • Sayfa Sayısı: 428
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 557219410-1125488884
  • ISBN: 9783540221647
Teslimat

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.505,99 - Arasında teslimat Çar 25 Kasım 2026–Çar 09 Aralık 2026

Kargo çıkış noktası Birleşik Krallık.

İadeler

İadeler

Sipariş ettiğiniz ürünlerin size bütün ve belirttiğiniz özelliklere göre teslim edilmesi için elimizden gelenin en iyisini yapıyoruz. Fakat, bütün gelmeyen veya siparişiniz ettiğinizden farklı çıkan bir ürünün elinize ulaşması ya da siparişinizden başka bir sebepten ötürü memnun kalmamanız durumunda, siparişi veya siparişe dahil ürünlerden herhangi birini iade edebilir ve ürünler için tam para iadesi alabilirsiniz.

Tam iade politikasını görüntüle