Predicate Calculus and Program Semantics

€ 119,00
+ € 5,99 Verzending
  • product image

Predicate Calculus and Program Semantics

  • Merk: Unbranded
Verkocht door:

Predicate Calculus and Program Semantics

  • Merk: Unbranded

€ 119,00

Op voorraad
+ € 5,99 Verzending

14-dagen retourbeleid

Verkocht door:

€ 119,00

Op voorraad
+ € 5,99 Verzending

14-dagen retourbeleid

Betaalmethoden:

Beschrijving

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: Computers & Internet
  • Artiest: Edsger W. Dijkstra
  • Uitgever / Label: Springer
  • Formaat: Paperback
  • Aantal pagina's: 220
  • Verschijningsdatum: 2011/09/26
  • Taal: English
  • Fruugo-ID: 337882985-741542272
  • ISBN: 9781461279242

Levering & retouren

Verzonden binnen6 dagen

  • STANDARD: € 5,99 - Levering tussen wo 07 januari 2026–do 08 januari 2026

Verzending vanaf Verenigd Koninkrijk.

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