Predicate Calculus and Program Semantics

119,00 €
+ 4,99 € Envío
  • product image

Predicate Calculus and Program Semantics

  • Marca: Unbranded
Vendido por:

Predicate Calculus and Program Semantics

  • Marca: Unbranded

119,00 €

En existencias
+ 4,99 € Envío

Política de devoluciones de 14 días

Vendido por:

119,00 €

En existencias
+ 4,99 € Envío

Política de devoluciones de 14 días

Métodos de pago:

Descripción

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
  • Marca: Unbranded
  • Categoría: Informática e Internet
  • Idioma: English
  • Número de páginas: 220
  • Fecha de publicación: 2011/09/26
  • Artista: Edsger W. Dijkstra
  • Editor / Marca: Springer
  • Formato: Paperback
  • Nº de Fruugo : 337882985-741542272
  • ISBN: 9781461279242

Entrega y devolución

Enviado en un plazo de 6 días

  • STANDARD: 4,99 € - Entrega entre jue 08 enero 2026–mar 13 enero 2026

Envío desde Reino Unido.

Hacemos todo lo posible para asegurarnos de que se le entreguen los productos que pida en su totalidad y de acuerdo con sus especificaciones. Sin embargo, si recibe un pedido incompleto o artículos diferentes a los que pidió, o hay alguna otra razón por la que no está satisfecho con el pedido, puede devolver el mismo o cualquier producto incluido en él y obtener un reembolso completo por los artículos. Vea la política de devolución completa