Predicate Calculus and Program Semantics

52 690,00 Ft
+ 2 299,00 Ft szállítási költség
  • product image

Predicate Calculus and Program Semantics

  • Márka: Unbranded
Értékesítő:

Predicate Calculus and Program Semantics

  • Márka: Unbranded

52 690,00 Ft

Készleten
+ 2 299,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Értékesítő:

52 690,00 Ft

Készleten
+ 2 299,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Fizetési módok:

Leírás

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
  • Márka: Unbranded
  • Kategória: Számítástechnika és internet
  • Művész: Edsger W. Dijkstra
  • Lapok száma: 220
  • Nyelv: English
  • Formátum: Paperback
  • Kiadás dátuma: 2011/09/26
  • Kiadó / Címke: Springer
  • Fruugo azonosító: 337882985-741542272
  • ISBN: 9781461279242

Kiszállítás és visszaküldés

Kiküldés 4 napon belül

  • STANDARD: 2 299,00 Ft - közötti szállítás P 20 február 2026–Sze 25 február 2026

Szállítás innen: Egyesült Királyság.

Minden tőlünk telhetőt megteszünk annak biztosítására, hogy rendelését hiánytalanul és előírásainknak megfelelően szállítás ki önnek. Viszont ha egy hiányos rendelést kap, vagy eltér a megrendelttől, vagy bármilyen más okból nem elégedett a rendeléssel, akkor visszaküldheti a rendelést vagy a rendelésben lévő bármely terméket, és visszatérítik a termék árának teljes összegét. Teljes visszaküldési irányelvek megtekintése.