Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Functional Programming and Input/Output

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Functional Programming and Input/Output Andrew D. (University of Cambridge) Gordon
Libristo-code: 02020450
Uitgeverij Cambridge University Press, juli 2008
A common attraction to functional programming is the ease with which proofs can be given of program... Volledige beschrijving
? points 131 b
54.06 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Hostile Environment Creation Rebel / Audio Audio cd
common.buy 23.08 €
Guía Oficial del Parque Natural de Cardeña y Montoro Desconocido / Boek Gebonden (paperback)
common.buy 12.45 €
Przemoc psychiczna. Jak ją rozpoznać i się przed nią bronić Jarosław Gibas / Boek Gebonden (paperback)
common.buy 13.15 €
DECAMERON, EL GIOVANNI BOCCACCIO / Boek Boek
common.buy 9.71 €
TOP
Ravensburger Puzzle 12000096 - Villainous: Hades - 1000 Teile Disney Puzzle für Erwachsene und Kinder ab 14 Jahren / Spel/speelgoed Spel
common.buy 15.18 €
TOP
Jaké to tenkrát bylo aneb Co se stalo v roce, kdy jste se narodili 1984 / Boek Gebonden (paperback)
common.buy 3.33 €
Prosto do matury 3. Matematyka. Liceum i technikum. Podręcznik. Zakres podstawowy i rozszerzony. Edycja 2024 Maciej Antek / Boek Gebonden (paperback)
common.buy 18.82 €
TRIORCHIC BLUES PIANO GERALD BARRY Drukwerk Bladmuziek
common.buy 15.58 €
L'allure de Chanel Paul Morand / Boek Gebonden (paperback)
common.buy 26.52 €
Najkrajšie slovenské svetové rozprávky Pavol Dobšinský / Boek Gebonden (harde band)
common.buy 10.22 €
Les Incises dans les genres narratifs Laferrière / Boek Gebonden (harde band)
common.buy 120.09 €
Infos aktuell 1 Zeszyt ćwiczeń Gajownik Tomasz / Boek Gebonden (paperback)
common.buy 15.69 €
LOS MEJORES MITOS GRIEGOS JOSE MORAN / Boek Gebonden (harde band)
common.buy 22.57 €
Panegyrique de Tres Haut, Tres Puissant, Tres Glorieux Et Tres Excellent Prince Jacquin-F / Boek Gebonden (paperback)
common.buy 12.75 €
Eine treue Frau Jane Gardam / Audio Audio cd
common.buy 11.94 €
Elimina los virus mentales con PNL Donald Lofland / Boek Gebonden (paperback)
common.buy 17.91 €
Flamenco Gitarrenschule, m. 2 Audio-CDs. Bd.1 Gerhard Graf-Martinez / Boek Gebonden (paperback)
common.buy 59.03 €
Religion (Judentum: Allgemeines; Palastinisches Judentum) Wolfgang Haase / Boek Gebonden (harde band)
common.buy 516.22 €
Wunder, Wundergeburt und Wundergestalt in Einblattdrucken des funfzehnten bis achtzehnten Jahrhunderts Eugen Holl Nder / Boek Gebonden (paperback)
common.buy 47.89 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Functional Programming and Input/Output
Auteur Andrew D. (University of Cambridge) Gordon
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2008
Aantal pagina's 172
EAN 9780521070072
ISBN 0521070074
Libristo-code 02020450
Uitgeverij Cambridge University Press
Gewicht 290
Afmetingen 170 x 244 x 10

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Functioneel programmeren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Central European Functional Programming School Zoltán Horváth / Boek Gebonden (paperback)
common.buy 51.73 €
Functional Programming in Scala Paul Chiusano / Boek Gebonden (paperback)
common.buy 58.11 €
Localism Bill Vol. 11 James Wilson / Boek Gebonden (paperback)
common.buy 48.19 €
TOP
Domain-Driven Design Eric Evans / Boek Gebonden (harde band)
common.buy 61.05 €
The People of the West Blaine Wiseman / Boek Gebonden (paperback)
common.buy 12.95 €
Moral Reasoning in a Pluralistic World Patricia Marino / Boek Gebonden (paperback)
common.buy 31.79 €
Learned in the Law Brian Coote / Boek Gebonden (paperback)
common.buy 38.27 €
Somebody Is Watching Over Me Vanessa Ballew / Boek Gebonden (paperback)
common.buy 10.62 €
TOP
VW Touran Diesel ('03-'15) 03 To 65 Mark Storey / Boek Gebonden (paperback)
common.buy 36.65 €
Trump Tapes Bob Woodward / Audio Audio cd
common.buy 33.30 €
The Keys: Opening the doors of Shame, Guilt, and Regret Mario D Gross / Boek Gebonden (paperback)
common.buy 6.17 €
The American claimant (1892) by: Mark Twain (novel) Mark Twain / Boek Gebonden (paperback)
common.buy 8.60 €
Pictures and Stories From Uncle Tom's Cabin Harriet Beecher Stowe / Boek Gebonden (paperback)
common.buy 10.32 €
Microfinance BALKENHOL / Boek Gebonden (harde band)
common.buy 82.62 €
Algorithms for Functional Programming John David Stone / Boek Gebonden (harde band)
common.buy 90.82 €
Colors in Nature Jennifer Marino Walters / Boek Gebonden (harde band)
common.buy 27.74 €
Other Passenger LOUISE CANDLISH / Boek Gebonden (paperback)
common.buy 10.82 €
TOP
Charlotte Moss Flowers Moss / Boek Gebonden (harde band)
common.buy 41.51 €
TOP
How to Live with a Huge Penis Richard Jacob / Boek Gebonden (paperback)
common.buy 11.74 €
Wordt verwacht
Land Of Lisp Conrad Barski / Boek Gebonden (paperback)
common.buy 50.42 €
Jahn-Teller Effect Horst Köppel / Boek Gebonden (harde band)
common.buy 372.33 €
Mystical Cats Tarot Lunaea Weatherstone / Drukwerk Speelkaarten
common.buy 26.22 €
Als Kriegsfreiwilliger nach Frankreich 1815 Willibald Alexis / Boek Gebonden (harde band)
common.buy 35.74 €
Wordt verwacht
Map of Eastern Crete / Boek Gebonden (paperback)
common.buy 7.28 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?