Qed At Large by Zachary Tatlock Paperback

89,00 €
+ 16,49 € Αποστολή
  • product image

Qed At Large by Zachary Tatlock Paperback

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

Qed At Large by Zachary Tatlock Paperback

  • Μάρκα: Unbranded

89,00 €

Προς το παρόν δεν είναι διαθέσιμο
+ 16,49 € Αποστολή

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

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

89,00 €

Προς το παρόν δεν είναι διαθέσιμο
+ 16,49 € Αποστολή

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

Δεχόμαστε τους ακόλουθους τρόπους πληρωμής

Περιγραφή

Qed At Large by Zachary Tatlock Paperback

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machinechecked formal proofs are now reaching an unprecedented scale comparable to large software projects which leads to new challenges in proof development and maintenance.
  • Μάρκα: Unbranded
  • Κατηγορία: Πληροφορική & Διαδίκτυο
  • Szerző: Zachary Tatlock
  • Nyelv: English
  • Kiadó / Kiadó: now publishers Inc
  • Formátum: Paperback
  • Hossz: 194
  • Megjelenés dátuma: 2019-09-03
  • Fruugo ID: 339417594-744581621
  • ISBN: 9781680835946

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

Αποστέλλεται σε 24 ώρες

  • STANDARD: 16,49 € - Παράδοση μεταξύ Παρ 26 Δεκεμβρίου 2025–Τετ 31 Δεκεμβρίου 2025

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

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