Predicate Calculus and Program Semantics

139,00 €
+ 7,99 € Doručenie
  • product image

Predicate Calculus and Program Semantics

  • Značka: Unbranded
Predáva:

Predicate Calculus and Program Semantics

  • Značka: Unbranded

139,00 €

Na sklade
+ 7,99 € Doručenie

Politika vrátenia 14 dní

Predáva:

139,00 €

Na sklade
+ 7,99 € Doručenie

Politika vrátenia 14 dní

Spôsoby platby:

Popis

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
  • Značka: Unbranded
  • Kategória: Počítače a internet
  • Počet strán: 220
  • Formátovať: Paperback
  • Jazyk: English
  • Umelec: Edsger W. Dijkstra
  • Dátum vydania: 2011/09/26
  • Vydavateľ / štítok: Springer
  • Fruugo ID: 337882985-741542272
  • ISBN: 9781461279242

Dodanie a vrátenie

Odoslané do 5 dní

  • STANDARD: 7,99 € - Doručenie medzi pi 02 januára 2026–st 07 januára 2026

Doručenie od Spojené kráľovstvo.

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu. Pozrite si všetky pravidlá vrátenia