Predicate Calculus and Program Semantics

449,00 zł
+ 26,49 zł wysyłka
  • product image

Predicate Calculus and Program Semantics

  • Marka: Unbranded
Sprzedawca:

Predicate Calculus and Program Semantics

  • Marka: Unbranded

449,00 zł

W magazynie
+ 26,49 zł wysyłka

Polityka zwrotów w ciągu 14 dni

Sprzedawca:

449,00 zł

W magazynie
+ 26,49 zł wysyłka

Polityka zwrotów w ciągu 14 dni

Metody płatności:

Opis

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
  • Marka: Unbranded
  • Kategoria: Komputery i Internet
  • Data wydania: 2011/09/26
  • Format: Paperback
  • Język: English
  • Wydawca / Wytwórnia płytowa: Springer
  • Ilość stron: 220
  • Wykonawca: Edsger W. Dijkstra
  • Identyfikator Fruugo: 337882985-741542272
  • ISBN: 9781461279242

Dostawa i zwroty

Wysyłka w ciągu 5 dni

  • STANDARD: 26,49 zł - Dostawa między pt. 02 stycznia 2026–śr. 07 stycznia 2026

Wysyłka z Wielka Brytania

Dokładamy wszelkich starań, aby zamówione produkty były dostarczane w całości i zgodnie z Państwa wymaganiami. Jeśli jednak otrzymają Państwo niekompletne zamówienie, przedmioty inne niż zamówione lub istnieje inny powód, dla którego nie są Państwo zadowoleni z zamówienia, mogą Państwo zwrócić zamówienie lub dowolne produkty objęte zamówieniem i otrzymać pełny zwrot kosztów za te przedmioty. Pokaż pełną politykę zwrotów