Predicate Calculus and Program Semantics

624,00 RON
+ 27,99 RON Livrare
  • product image

Predicate Calculus and Program Semantics

  • Marcă: Unbranded
Vândut de:

Predicate Calculus and Program Semantics

  • Marcă: Unbranded

624,00 RON

În stoc
+ 27,99 RON Livrare

Politica de retur pe 14 zile

Vândut de:

624,00 RON

În stoc
+ 27,99 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

Descriere

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
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Edsger W. Dijkstra
  • Limbă: English
  • Număr de pagini: 220
  • Format: Paperback
  • Data publicării: 2011/09/26
  • Editor / Etichetă: Springer
  • ID Fruugo: 337882985-741542272
  • ISBN: 9781461279242

Livrări şi Returnări

Expediat în 5 zile

  • STANDARD: 27,99 RON - Livrare între vin. 02 ianuarie 2026–mie. 07 ianuarie 2026

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare