Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Functional Programming and Input/Output

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Functional Programming and Input/Output Andrew D. (University of Cambridge) Gordon
Libristo kód: 02020450
Nakladatelství Cambridge University Press, červenec 2008
A common attraction to functional programming is the ease with which proofs can be given of program... Celý popis
? points 125 b
1 247 Kč
Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Hostile Environment Creation Rebel / Audio Audio CD
common.buy 530 Kč
Guía Oficial del Parque Natural de Cardeña y Montoro Desconocido / Kniha Brožovaná
common.buy 302 Kč
Przemoc psychiczna. Jak ją rozpoznać i się przed nią bronić Jarosław Gibas / Kniha Brožovaná
common.buy 319 Kč
DECAMERON, EL GIOVANNI BOCCACCIO / Kniha Kniha
common.buy 234 Kč
Top
Ravensburger Puzzle 12000096 - Villainous: Hades - 1000 Teile Disney Puzzle für Erwachsene und Kinder ab 14 Jahren / Hra/Hračka Hra
common.buy 405 Kč
Top
Jaké to tenkrát bylo aneb Co se stalo v roce, kdy jste se narodili 1984 / Kniha Brožovaná
common.buy 63 Kč
Prosto do matury 3. Matematyka. Liceum i technikum. Podręcznik. Zakres podstawowy i rozszerzony. Edycja 2024 Maciej Antek / Kniha Brožovaná
common.buy 441 Kč
TRIORCHIC BLUES PIANO GERALD BARRY Tiskovina Noty
common.buy 376 Kč
L'allure de Chanel Paul Morand / Kniha Brožovaná
common.buy 642 Kč
Najkrajšie slovenské svetové rozprávky Pavol Dobšinský / Kniha Pevná
common.buy 198 Kč
Les Incises dans les genres narratifs Laferrière / Kniha Pevná
common.buy 2 903 Kč
Infos aktuell 1 Zeszyt ćwiczeń Gajownik Tomasz / Kniha Brožovaná
common.buy 362 Kč
LOS MEJORES MITOS GRIEGOS JOSE MORAN / Kniha Pevná
common.buy 545 Kč
Panegyrique de Tres Haut, Tres Puissant, Tres Glorieux Et Tres Excellent Prince Jacquin-F / Kniha Brožovaná
common.buy 293 Kč
Eine treue Frau Jane Gardam / Audio Audio CD
common.buy 271 Kč
Elimina los virus mentales con PNL Donald Lofland / Kniha Brožovaná
common.buy 433 Kč
Flamenco Gitarrenschule, m. 2 Audio-CDs. Bd.1 Gerhard Graf-Martinez / Kniha Brožovaná
common.buy 1 428 Kč
Religion (Judentum: Allgemeines; Palastinisches Judentum) Wolfgang Haase / Kniha Pevná
common.buy 11 822 Kč
Wunder, Wundergeburt und Wundergestalt in Einblattdrucken des funfzehnten bis achtzehnten Jahrhunderts Eugen Holl Nder / Kniha Brožovaná
common.buy 1 158 Kč

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

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Functional Programming and Input/Output
Autor Andrew D. (University of Cambridge) Gordon
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 172
EAN 9780521070072
ISBN 0521070074
Libristo kód 02020450
Nakladatelství Cambridge University Press
Váha 290
Rozměry 170 x 244 x 10

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Funkcionální programování
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Central European Functional Programming School Zoltán Horváth / Kniha Brožovaná
common.buy 1 182 Kč
Functional Programming in Scala Paul Chiusano / Kniha Brožovaná
common.buy 1 248 Kč
Localism Bill Vol. 11 James Wilson / Kniha Brožovaná
common.buy 1 098 Kč
Top
Domain-Driven Design Eric Evans / Kniha Pevná
common.buy 1 390 Kč
The People of the West Blaine Wiseman / Kniha Brožovaná
common.buy 296 Kč
Moral Reasoning in a Pluralistic World Patricia Marino / Kniha Brožovaná
common.buy 725 Kč
Learned in the Law Brian Coote / Kniha Brožovaná
common.buy 834 Kč
Somebody Is Watching Over Me Vanessa Ballew / Kniha Brožovaná
common.buy 241 Kč
VW Touran Diesel ('03-'15) 03 To 65 Mark Storey / Kniha Brožovaná
common.buy 789 Kč
Trump Tapes Bob Woodward / Audio Audio CD
common.buy 754 Kč
The Keys: Opening the doors of Shame, Guilt, and Regret Mario D Gross / Kniha Brožovaná
common.buy 142 Kč
The American claimant (1892) by: Mark Twain (novel) Mark Twain / Kniha Brožovaná
common.buy 196 Kč
Pictures and Stories From Uncle Tom's Cabin Harriet Beecher Stowe / Kniha Brožovaná
common.buy 237 Kč
Microfinance BALKENHOL / Kniha Pevná
common.buy 1 898 Kč
Algorithms for Functional Programming John David Stone / Kniha Pevná
common.buy 2 074 Kč
Colors in Nature Jennifer Marino Walters / Kniha Pevná
common.buy 637 Kč
Other Passenger LOUISE CANDLISH / Kniha Brožovaná
common.buy 244 Kč
Top
Charlotte Moss Flowers Moss / Kniha Pevná
common.buy 879 Kč
Top
How to Live with a Huge Penis Richard Jacob / Kniha Brožovaná
common.buy 249 Kč
Připravujeme
Land Of Lisp Conrad Barski / Kniha Brožovaná
common.buy 1 139 Kč
Jahn-Teller Effect Horst Köppel / Kniha Pevná
common.buy 8 999 Kč
Mystical Cats Tarot Lunaea Weatherstone / Tiskovina Karty
common.buy 506 Kč
Als Kriegsfreiwilliger nach Frankreich 1815 Willibald Alexis / Kniha Pevná
common.buy 813 Kč
Připravujeme
Map of Eastern Crete / Kniha Brožovaná
common.buy 167 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?