Predicate Calculus and Program Semantics

139,00 €
+ 7,49 € Αποστολή
  • product image

Predicate Calculus and Program Semantics

  • Μάρκα: Unbranded
Πωλήθηκε από:

Predicate Calculus and Program Semantics

  • Μάρκα: Unbranded

139,00 €

Σε απόθεμα
+ 7,49 € Αποστολή

Πολιτική επιστροφών 14 ημερών

Πωλήθηκε από:

139,00 €

Σε απόθεμα
+ 7,49 € Αποστολή

Πολιτική επιστροφών 14 ημερών

Μέθοδοι πληρωμής:

Περιγραφή

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
  • Μάρκα: Unbranded
  • Κατηγορία: Πληροφορική & Διαδίκτυο
  • Művész: Edsger W. Dijkstra
  • Nyelv: English
  • Kiadó / Kiadó: Springer
  • Formátum: Paperback
  • Oldalak száma: 220
  • Megjelenés dátuma: 2011/09/26
  • Fruugo ID: 337882985-741542272
  • ISBN: 9781461279242

Παράδοση & Επιστροφές

Αποστέλλεται σε 5 μέρες

  • STANDARD: 7,49 € - Παράδοση μεταξύ Παρ 02 Ιανουαρίου 2026–Τετ 07 Ιανουαρίου 2026

Αποστέλλεται από Ηνωμένο Βασίλειο.

Κάνουμε ό,τι καλύτερο μπορούμε για να εξασφαλίσουμε ότι τα προϊόντα που παραγγέλνετε αποστέλλονται σε εσάς πλήρως και σύμφωνα με τις προδιαγραφές σας. Παρ' όλα αυτά, αν παραλάβετε μία ελλιπή παραγγελία ή προϊόντα διαφορετικά από αυτά που παραγγείλατε ή αν υπάρχει κάποιος άλλος λόγος που δεν είστε ικανοποιημένοι με την παραγγελία, μπορείτε να την επιστρέψετε ολόκληρη ή κάποια προϊόντα από αυτή και να λάβετε πλήρη επιστροφή χρημάτων για τα προϊόντα. Προβολή πλήρους πολιτικής επιστροφών