Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Functional Programming and Input/Output

Name: Functional Programming and Input/Output
Brand: Cambridge University Press
SKU: 02020450
Price: 51.54 EUR
Availability: InStock
Author: Andrew D. (University of Cambridge) Gordon
ISBN: 9780521070072

Andrew D. (University of Cambridge) Gordon

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02020450

Nakladateľstvo Cambridge University Press, júl 2008

A common attraction to functional programming is the ease with which proofs can be given of program... Celý popis

Libristo kód: 02020450

125 b

51.54 €

Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Hostile Environment Creation Rebel

Audio CD

23.08 €

Guía Oficial del Parque Natural de Cardeña y Montoro Desconocido

Brožovaná

12.45 €

Przemoc psychiczna. Jak ją rozpoznać i się przed nią bronić Jarosław Gibas

Brožovaná

13.16 €

DECAMERON, EL GIOVANNI BOCCACCIO

Kniha

9.71 €

Ravensburger Puzzle 12000096 - Villainous: Hades - 1000 Teile Disney Puzzle für Erwachsene und Kinder ab 14 Jahren

Hra

15.79 €

Jaké to tenkrát bylo aneb Co se stalo v roce, kdy jste se narodili 1984

Brožovaná

2.93 €

Prosto do matury 3. Matematyka. Liceum i technikum. Podręcznik. Zakres podstawowy i rozszerzony. Edycja 2024 Maciej Antek

Brožovaná

18.22 €

TRIORCHIC BLUES PIANO GERALD BARRY Tlačovina

Noty

15.59 €

L'allure de Chanel Paul Morand

Brožovaná

26.53 €

Najkrajšie slovenské svetové rozprávky Pavol Dobšinský

Pevná

7.59 €

Les Incises dans les genres narratifs Laferrière

Pevná

120.11 €

Infos aktuell 1 Zeszyt ćwiczeń Gajownik Tomasz

Brožovaná

15.69 €

LOS MEJORES MITOS GRIEGOS JOSE MORAN

Pevná

22.58 €

Panegyrique de Tres Haut, Tres Puissant, Tres Glorieux Et Tres Excellent Prince Jacquin-F

Brožovaná

12.14 €

Eine treue Frau Jane Gardam

Audio CD

11.94 €

Elimina los virus mentales con PNL Donald Lofland

Brožovaná

17.92 €

Flamenco Gitarrenschule, m. 2 Audio-CDs. Bd.1 Gerhard Graf-Martinez

Brožovaná

59.04 €

Religion (Judentum: Allgemeines; Palastinisches Judentum) Wolfgang Haase

Pevná

485.54 €

Wunder, Wundergeburt und Wundergestalt in Einblattdrucken des funfzehnten bis achtzehnten Jahrhunderts Eugen Holl Nder

Brožovaná

48.00 €

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'.