Domain-theoretic Foundations Of Func - STREICHER THOMAS

₺3.099,00
+ ₺1.033,49 Kargo

Domain-theoretic Foundations Of Func - STREICHER THOMAS

Satıcı:
  • product image

₺3.099,00

Stokta kalan sadece 1
+ ₺1.033,49 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

Ürün detayları

Ürün detayları

Domain-theoretic Foundations Of Func - STREICHER THOMAS

This Textbook Provides A Basis For A Phd Course On Domain-theoretic Semantics Of Functional Programming Languages And Their Meta-mathematical Properties. It Introduces Basic Domain Theory And The Technique Of Logical Relations As Developed By Scott And Plotkin. The Solution Of Recursive Domain Equations Is Explained In Detail.a Complete Discussion Of The Famous Full Abstraction Problem For Pcf (a Functional Kernel Language Due To Scott And Plotkin) Is Given Including A Construction Of The Fully Abstract Milner Model Using Kripke Logical Relations.a Final Chapter Introduces Computability In Scott Domains And Shows That This Model Is Fully Abstract And Universal For Appropriate Extensions Of Pcf By Parallel Language Constructs.
  • Marka: World Scientific Publishing Co Pte Ltd
  • Kategoriye Göre: Referans
  • Biçim: Hardcover
  • Yayın Tarihi: 2006-12-15
  • Dil: English
  • Yazar: STREICHER THOMAS
  • Sayfa Sayısı: 132
  • Yayıncı / Etiket: World Scientific Publishing Co Pte Ltd
  • Fruugo Kimliği: 512139232-1046322213
  • ISBN: 9789812701428
Teslimat

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.033,49 - Arasında teslimat Cum 30 Ekim 2026–Cum 06 Kasım 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