Functional Programming and Input/Output

28 479,00 Ft
+ 2 249,00 Ft szállítási költség

Functional Programming and Input/Output

Értékesítő:
  • product image

28 479,00 Ft

Készleten
+ 2 249,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Vásárlóvédelem

Fizetési módok:

  • Márka: Unbranded
Termékadatok

Termékadatok

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
  • Márka: Unbranded
  • Kategória: Számítástechnika és internet
  • Művész: Andrew D. Gordon
  • Lapok száma: 172
  • Nyelv: English
  • Formátum: Paperback
  • Kiadás dátuma: 2008/07/31
  • Kiadó / Címke: Cambridge University Press
  • Fruugo azonosító: 337398689-741030883
  • ISBN: 9780521070072
Ígéret

Eladói garancia

2 év jogi garancia benne foglaltatik

Az EU-s fogyasztói jogai közé tartozik egy legalább 2 éves ingyenes jogi garancia

Megfelelőségi jogi garancia letöltése
Szállítás

Szállítás

Kiküldés 4 napon belül

  • STANDARD: 3 638,00 Ft - közötti szállítás H 14 szeptember 2026–Cs 17 szeptember 2026

Szállítás innen: Egyesült Királyság.

Visszaküldés

Visszaküldés és lemondás

Visszaküldés

Minden tőlünk telhetőt megteszünk annak biztosítására, hogy rendelését hiánytalanul és előírásainknak megfelelően szállítás ki önnek. Viszont ha egy hiányos rendelést kap, vagy eltér a megrendelttől, vagy bármilyen más okból nem elégedett a rendeléssel, akkor visszaküldheti a rendelést vagy a rendelésben lévő bármely terméket, és visszatérítik a termék árának teljes összegét.

Teljes visszaküldési irányelvek megtekintése.

Lemondások

Jogod van elállni a vásárlástól a rendelés kézhezvételétől számított 14 napon belül indoklás nélkül. A jogod egyszerű gyakorlásához használd a „Rendelés lemondása” linket minden oldal láblécében, vagy a Fruugo fiókodban a „Rendelések” alatt. Miután gyakoroltad az elállási jogodat, e-mailben visszaigazolást küldünk neked. Ha a rendelésedet a kiskereskedő már kiszállította, megadjuk a szükséges visszaküldési utasításokat, hogy a visszatérítést mihamarabb feldolgozzuk.

A teljes lemondási szabályzat megtekintése