Predicate Calculus and Program Semantics

€ 122,27
+ € 5,99 Verzending

Predicate Calculus and Program Semantics

Verkocht door:
  • product image

€ 122,27

Op voorraad
+ € 5,99 Verzending

14-dagen retourbeleid

Kopersbescherming

Betaalmethoden:

  • Merk: Unbranded
Productdetails

Productdetails

Predicate Calculus and Program Semantics

1. On structures. - 2. On substitution and replacement. - 3. On functions and equality. - 4. On our proof format. - 5. The calculus of boolean structures. - 6. Some properties of predicate transformers. - 7. Semantics of straight-line programs. - 8. Equations in predicates and their extreme solutions. - 9. Semantics of repetitions. - 10. Operational considerations. - 11. Converse predicate transformers. - 12. The strongest postcondition. Language: English
  • Merk: Unbranded
  • Categorie: Onderwijs
  • Artiest: Edsger W. Dijkstra
  • Uitgever / Label: Springer
  • Formaat: Paperback
  • Verschijningsdatum: 2011/09/26
  • Taal: English
  • Fruugo-ID: 337882985-741542272
  • ISBN: 9781461279242
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 binnen5 dagen

  • STANDARD: € 9,26 - Levering tussen ma 02 november 2026–di 03 november 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