Functional Programming and Input/Output

77,69 €
+ 7,49 € Doručenie

Functional Programming and Input/Output

Predáva:
  • product image

77,69 €

Na sklade
+ 7,49 € Doručenie

Politika vrátenia 14 dní

Ochrana kupujúceho

Spôsoby platby:

  • Značka: Unbranded
Podrobnosti o produkte

Podrobnosti o produkte

Functional Programming and Input/Output

A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains operational semantics for the three most widely implemented I/O mechanisms for lazy languages and proves that the three are equivalent in expressive power. He develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming developed using Abramsky's 'applicative bisimulation'. Language: English
  • Značka: Unbranded
  • Kategória: Počítače a internet
  • Počet strán: 172
  • Formátovať: Paperback
  • Jazyk: English
  • Umelec: Andrew D. Gordon
  • Dátum vydania: 2008/07/31
  • Vydavateľ / štítok: Cambridge University Press
  • Fruugo ID: 337398689-741030883
  • ISBN: 9780521070072
Sľub

Záruka predávajúceho

Vrátane 2-ročnej právnej záruky

Vaše spotrebiteľské práva v EÚ zahŕňajú bezplatnú minimálne 2-ročnú právnu záruku

Stiahnuť právnu záruku zhody
Doručenie

Doručenie

Odoslané do 4 dní

  • STANDARD: 11,18 € - Doručenie medzi st 16 septembra 2026–po 21 septembra 2026

Doručenie od Spojené kráľovstvo.

Vrátenie tovaru

Vrátenie a zrušenie objednávky

Vrátenie tovaru

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu.

Pozrite si všetky pravidlá vrátenia

Zrušenie objednávky

Máte právo odstúpiť od nákupu do 14 dní od doručenia objednávky bez udania dôvodu. Na jednoduché uplatnenie svojho práva môžete použiť odkaz „Zrušiť moju objednávku“ v päte každej stránky alebo vo svojom účte Fruugo v časti „Objednávky“. Po uplatnení svojho práva na odstúpenie od objednávky vám zašleme e-mail s potvrdením. Ak vašu objednávku už predajca odoslal, poskytneme vám potrebné pokyny na vrátenie, aby sme zabezpečili rýchle spracovanie vrátenia peňazí.

Zobraziť úplné podmienky zrušenia objednávky