Functional Programming and Input/Output

€ 67,27
+ € 5,99 Verzending

Functional Programming and Input/Output

Verkocht door:
  • product image
Functioneel programmeren en input/output

€ 67,27

Op voorraad
+ € 5,99 Verzending

14-dagen retourbeleid

Kopersbescherming

Betaalmethoden:

  • Merk: Unbranded
Productdetails

Productdetails

Functional Programming and Input/Output

Een veel voorkomende aantrekkingskracht van functioneel programmeren is het gemak waarmee bewijzen van programma-eigenschappen kunnen worden gegeven. Een veel voorkomende teleurstelling bij functioneel programmeren is de moeilijkheid om input/output (I/O) uit te drukken en tegelijkertijd programma's te kunnen verifiëren. Hier laat de auteur zien hoe een theorie van functioneel programmeren soepel kan worden uitgebreid om zowel een operationele semantiek voor functionele I/O als verificatie van programma's die zich bezighouden met I/O toe te laten. Hij verkrijgt operationele semantiek voor de drie meest geïmplementeerde I/O-mechanismen voor luie talen en bewijst dat de drie gelijkwaardig zijn in expressieve kracht. Hij ontwikkelt semantiek voor een vorm van monadische I/O en verifieert een eenvoudig programmeervoorbeeld. Deze theorieën over functionele I/O zijn gebaseerd op een volledig operationele theorie van functioneel programmeren, ontwikkeld met behulp van Abramsky's 'applicatieve bisimulatie'. Taal: Engels
  • Merk: Unbranded
  • Categorie: Computers & Internet
  • Artiest: Andrew D. Gordon
  • Uitgever / Label: Cambridge University Press
  • Formaat: Paperback
  • Aantal pagina's: 172
  • Verschijningsdatum: 2008/07/31
  • Taal: Engels
  • Fruugo-ID: 337398689-741030883
  • ISBN: 9780521070072
Belofte

Garantie van de verkoper

Wettelijke garantie van 2 jaar inbegrepen

Uw consumentenrechten binnen de EU omvatten een gratis wettelijke garantie van ten minste 2 jaar

Download de wettelijke conformiteitsgarantie
Levering

Levering

Verzonden binnen4 dagen

  • STANDARD: € 9,26 - Levering tussen ma 14 september 2026–di 15 september 2026

Verzending vanaf Verenigd Koninkrijk.

Retourneren

Retourneren & Annuleren

Retourneren

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen.

Bekijk het volledige retourbeleid

Annuleren

U heeft het recht om uw aankoop binnen 14 dagen na ontvangst van uw bestelling zonder opgave van reden te herroepen. Om eenvoudig van uw recht gebruik te maken, kunt u de link 'Mijn bestelling annuleren' in de voettekst van elke pagina of in uw Fruugo-account onder 'Bestellingen' gebruiken. Zodra u van uw herroepingsrecht gebruikmaakt, sturen wij u een bevestiging per e-mail. Als uw bestelling al door de verkoper is verzonden, zullen wij u de nodige retourinstructies verstrekken om ervoor te zorgen dat uw terugbetaling snel wordt verwerkt.

Bekijk het volledige annuleringsbeleid