Predicate Calculus and Program Semantics

1 249,00 kr
+ 96,99 kr Leverans
  • product image

Predicate Calculus and Program Semantics

  • Märke: Unbranded
Säljs av:

Predicate Calculus and Program Semantics

  • Märke: Unbranded

1 249,00 kr

I lager
+ 96,99 kr Leverans

14-dagars returpolicy

Säljs av:

1 249,00 kr

I lager
+ 96,99 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

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
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Edsger W. Dijkstra
  • Format: Paperback
  • Publiceringsdatum: 2011/09/26
  • Sidantal: 220
  • Förläggare / Bolag: Springer
  • Språk: English
  • Fruugo-ID: 337882985-741542272
  • ISBN: 9781461279242

Leverans och returer

Skickas inom 6 dagar

  • STANDARD: 96,99 kr - Leverans mellan kl tors 08 januari 2026–tis 13 januari 2026

Leverans från Storbritannien.

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