Predicate Calculus and Program Semantics

€ 119,00
+ € 6,49 Versand
  • product image

Predicate Calculus and Program Semantics

  • Marke: Unbranded
Verkauft von:

Predicate Calculus and Program Semantics

  • Marke: Unbranded

€ 119,00

Auf Lager
+ € 6,49 Versand

14-Tage-Rückgabepolitik

Verkauft von:

€ 119,00

Auf Lager
+ € 6,49 Versand

14-Tage-Rückgabepolitik

Zahlungsmethoden:

Beschreibung

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
  • Marke: Unbranded
  • Kategorie: Computer und Internet
  • Künstler: Edsger W. Dijkstra
  • Format: Paperback
  • Verlag / Label: Springer
  • Sprache: English
  • Erscheinungsdatum: 2011/09/26
  • Seitenzahl: 220
  • Fruugo-ID: 337882985-741542272
  • ISBN: 9781461279242

Lieferung und Rückgaben

Versand innerhalb von 4 Tagen

  • STANDARD: € 6,49 - Lieferung zwischen Mi. 18 Februar 2026–Do. 19 Februar 2026

Versand von Vereinigtes Königreich.

Wir tun unser Bestes, um dafür zu sorgen, dass die von Ihnen bestellten Produkte vollständig und gemäß Ihrer Spezifikationen an Sie geliefert werden. Wenn Sie allerdings eine unvollständige Bestellung oder Artikel erhalten, die sich von den bestellten unterscheiden, oder es einen anderen Grund gibt, warum Sie mit Ihrer Bestellung nicht zufrieden sind, können Sie die gesamte Bestellung oder einzelne darin enthaltenen Produkte zurücksenden und eine vollständige Rückerstattung für die Artikel erhalten. Vollständige Rückgaberichtlinie ansehen