Bild 1 von 1
Funktionelle Programmierung und Eingabe/Ausgabe Gordon Taschenbuch 9780521070072-
Artikelzustand:
Preis:
£31,69
(inkl. MwSt.)
Ca.EUR 37,23
- Sofort-KaufenFunktionelle Programmierung und Eingabe/Ausgabe Gordon Taschenbuch 9780521070072
Versand:
Standort: AL7 1AD, Vereinigtes Königreich
Lieferung:
Lieferung zwischen Fr, 21. Jun und Mi, 3. Jul nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 100% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:394817961178
Artikelmerkmale
- Artikelzustand
- BIC Subject Area 1
- Programming & scripting languages: general [UMX]
- ISBN
- 9780521070072
- Publication Year
- 2008
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- Functional Programming and Input/Output
- Item Height
- 244mm
- Publisher
- Cambridge University Press
- Item Width
- 170mm
- Subject
- Computer Science
- Item Weight
- 290g
- Number of Pages
- 172 Pages
Über dieses Produkt
Product Information
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'.
Product Identifiers
Publisher
Cambridge University Press
ISBN-13
9780521070072
eBay Product ID (ePID)
90781547
Product Key Features
Publication Name
Functional Programming and Input/Output
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2008
Type
Textbook
Number of Pages
172 Pages
Dimensions
Item Height
244mm
Item Width
170mm
Item Weight
290g
Additional Product Features
Series Title
Distinguished Dissertations in Computer Science
Country/Region of Manufacture
United Kingdom
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
PARTRAD LIMITED
Jonathan Parkins
10B Blenheim Court
Brownfields
Welwyn Garden City
Hertfordshire
AL7 1AD
United Kingdom
Freshly Printed Books is a trading name of Partrad Limited
USt-IdNr.:
- GB 428215114
Handelsregisternummer:
- 14411598
Die Mehrwertsteuer wird auf meinen Rechnungen separat ausgewiesen.
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
CRN Number:
- 14411598
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:394817961178
Verpackung und Versand
Artikelstandort:
AL7 1AD, Vereinigtes Königreich
Versand nach:
Albanien, Andorra, Australien, Belarus, Belgien, Bosnien und Herzegowina, Bulgarien, China, Deutschland, Dänemark, Estland, Fidschi, Finnland, Frankreich, Gibraltar, Griechenland, Guernsey, Indonesien, Irland, Island, Italien, Japan, Jersey, Kanada, Lettland, Liechtenstein, Litauen, Luxemburg, Malta, Mazedonien, Moldawien, Monaco, Montenegro, Neuseeland, Niederlande, Norwegen, Polen, Portugal, Republik Kroatien, Rumänien, San Marino, Schweden, Schweiz, Serbien, Singapur, Slowakei, Slowenien, Spanien, Svalbard und Jan Mayen, Tschechische Republik, Türkei, USA, Ukraine, Ungarn, Vatikan, Vereinigte Arabische Emirate, Weltweit, Zypern, Österreich
Ausgeschlossen:
Afghanistan, Jemen, Libyen, Nauru, Russische Föderation, Somalia
| Verpackung und Versand | Nach | Service | Lieferung*Siehe Lieferhinweise |
|---|---|---|---|
| £28,58 (ca. EUR 33,57) | USA | Parcelforce Global Priority |
| Bearbeitungszeit |
|---|
| Der Verkäufer verschickt den Artikel innerhalb von 10 Werktagen nach Zahlungseingang. |
| Steuern |
|---|
| An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe. |
Mehrwertsteuer für diesen Artikel #394817961178
Mehrwertsteuer für diesen Artikel #394817961178
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
| Bundesstaat | Steuersatz für Sales Tax |
|---|
Rücknahmebedingungen
| Frist | Rücksendung |
|---|---|
| 30 Tage | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
| Rücknahmebedingungen im Detail |
|---|
| Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Hinweis: Bestimmte Zahlungsmethoden werden in der Kaufabwicklung nur bei hinreichender Bonität des Käufers angeboten.
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (510)
i***0 (63)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Good value product. Seller very helpful when delivery company failed to deliver.
4***7 (90)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
good
8***8 (148)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Excellent book in great condition.
Produktbewertungen & Rezensionen
Noch mehr entdecken:
- Sachbuch Gordon Ramsay Bücher,
- Gordon-R. - Dickson-Belletristik-Bücher,
- Gordon-Ramsay-Kochbücher-Sachbuch Bücher übers Kochen,
- Gordon-Ramsay-Kochbücher-Sachbuch Deutsche Bücher übers Kochen,
- Gordon-Ramsay-Kochbücher-Sachbuch Bücher übers Kochen auf Englisch,
- Gordon-Ramsay-Taschenbuch-Kochbücher - Sachbuch Bücher übers Kochen,
- Gordon-Ramsay-Gebundene-Ausgabe - Kochbücher-Sachbuch Bücher übers Kochen,
- Gordon-Ramsay-Gebundene-Ausgabe - Kochbücher-Sachbuch Deutsche Bücher übers Kochen,
- Gordon-Ramsay-Gebundene-Ausgabe - Kochbücher-Sachbuch Bücher übers Kochen auf Englisch