Programs Recursion and Unbounded Choice

834,34 kr
+ 95,49 kr Leverans

Programs Recursion and Unbounded Choice

  • product image
Säljs av:

834,34 kr

I lager
+ 95,49 kr Leverans

14-dagars returpolicy

Köparskydd

Betalningsmetoder:

  • Märke: Unbranded
Säljs av:
Produktinformation

Produktinformation

Programs Recursion and Unbounded Choice

This book is a complete account of the predicate transformation calculus semantics of sequential programs including repetitions recursive procedures computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures supplies new rules for proving incorrectness and a stronger rule for proving that two programs satisfy the same specifications. Finally the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs. Language: English
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Wim H. Hesselink
  • Format: Paperback
  • Publiceringsdatum: 2005/08/22
  • Sidantal: 240
  • Förläggare / Bolag: Cambridge University Press
  • Språk: English
  • Fruugo-ID: 337394821-741027016
  • ISBN: 9780521018296
Löfte

Säljarens garanti

2 års lagstadgad garanti ingår

Dina EU-konsumenträttigheter inkluderar en kostnadsfri minst 2-årig lagstadgad garanti

Ladda ner lagstadgad garanti för överensstämmelse
Leverans

Leverans

Skickas inom 4 dagar

  • STANDARD: 130,83 kr - Leverans mellan kl tors 17 september 2026–tis 22 september 2026

Leverans från Storbritannien.

Returer

Returer och avbokningar

Returer

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna.

Visa fullständig returpolicy

Avbokningar

Du har rätt att ångra ditt köp inom 14 dagar från att du mottagit din beställning utan att ange någon anledning. För att enkelt utöva din rätt kan du använda länken "Avbryt min beställning" i sidfoten på varje sida eller i ditt Fruugo-konto under "Beställningar". När du har utnyttjat din ångerrätt skickar vi dig en e-postbekräftelse. Om din beställning redan har skickats av återförsäljaren kommer vi att förse dig med nödvändiga returinstruktioner för att säkerställa att din återbetalning behandlas snabbt.

Visa fullständig avbokningspolicy