Predicate Calculus and Program Semantics

974,00 DKK
+ 66,49 DKK Levering
  • product image

Predicate Calculus and Program Semantics

  • Brand: Unbranded
Sоlgt af:

Predicate Calculus and Program Semantics

  • Brand: Unbranded

974,00 DKK

På lager
+ 66,49 DKK Levering

14-dages returpolitik

Sоlgt af:

974,00 DKK

På lager
+ 66,49 DKK Levering

14-dages returpolitik

Betalingsmetoder:

Beskrivelse

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
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Springer
  • Udgivelsesdato: 2011/09/26
  • Kunstner: Edsger W. Dijkstra
  • Sprog: English
  • Antal sider: 220
  • Fruugo ID: 337882985-741542272
  • ISBN: 9781461279242

Levering og returnering

Sendt inden for 4 dage

  • STANDARD: 66,49 DKK - Levering mellem kl fre. 20 februar 2026–ons. 25 februar 2026

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik