Qed At Large by Zachary Tatlock Paperback

79,00 €
ja 10,99 € toimitus
  • product image

Qed At Large by Zachary Tatlock Paperback

  • Merkki: Unbranded
Myynyt:

Qed At Large by Zachary Tatlock Paperback

  • Merkki: Unbranded
Hinta: 79,00 €
Myynyt:
79,00 €
ja 10,99 € toimitus

Vain 1 jäljellä varastossa

Hyväksymme seuraavat maksutavat

Kuvaus

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.
  • Merkki: Unbranded
  • Kategoria: Tietokoneet ja internet
  • Tekijä: Zachary Tatlock
  • Formaatti: Paperback
  • Julkaisuaika: 2019-09-03
  • Kustantaja / Levy-yhtiö: now publishers Inc
  • Kieli: English
  • Pituus: 194
  • Fruugo ID: 339417594-744581621
  • ISBN: 9781680835946

Toimitus ja palautukset

Lähetetään 24 tunnin kuluessa

  • STANDARD: 10,99 € - Toimitus välillä ti 14 lokakuuta 2025–to 16 lokakuuta 2025

Lähetyspaikka: Iso-Britannia.

Teemme parhaamme varmistaaksemme, että kaikki tilaamasi tuotteet toimitetaan sinulle toiveidesi mukaisesti. Jos sinulle toimitettu tilaus kuitenkin on puutteellinen tai sisältää tilaamattomia tuotteita, tai jos et jostain muusta syystä ole tyytyväinen tilaukseesi, voit palauttaa tilauksen kokonaan tai osittain. Saat tuotteista täyden hyvityksen. Näytä koko palautuskäytäntö