Qed At Large by Zachary Tatlock Paperback

79,00 €
ja 10,49 € toimitus

Black Friday

Tee ostoksia nyt
  • product image

Qed At Large by Zachary Tatlock Paperback

  • Merkki: Unbranded
Myynyt:

Qed At Large by Zachary Tatlock Paperback

  • Merkki: Unbranded

79,00 €

Vain 1 jäljellä varastossa
ja 10,49 € toimitus
Myynyt:

79,00 €

Vain 1 jäljellä varastossa
ja 10,49 € toimitus

Hyväksymme seuraavat maksutavat

Kuvaus

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.
  • 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,49 € - Toimitus välillä pe 05 joulukuuta 2025–ti 09 joulukuuta 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ö