Qed At Large by Zachary Tatlock Paperback

€ 79,00
+ € 9,99 Verzending
  • product image

Qed At Large by Zachary Tatlock Paperback

  • Merk: Unbranded
Verkocht door:

Qed At Large by Zachary Tatlock Paperback

  • Merk: Unbranded
Prijs: € 79,00
Verkocht door:
€ 79,00
+ € 9,99 Verzending

Nog maar 1 op voorraad

We accepteren de volgende betalingsmethoden

Beschrijving

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.
  • Merk: Unbranded
  • Categorie: Computers & Internet
  • Auteur: Zachary Tatlock
  • Lengte: 194
  • Uitgever / Label: now publishers Inc
  • Formaat: Paperback
  • Verschijningsdatum: 2019-09-03
  • Taal: English
  • Fruugo-ID: 339417594-744581621
  • ISBN: 9781680835946

Levering & retouren

Wordt binnen 24 uur verzonden

  • STANDARD: € 9,99 - Levering tussen vr 10 oktober 2025–do 16 oktober 2025

Verzending vanaf Verenigd Koninkrijk.

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen. Bekijk het volledige retourbeleid