Qed At Large by Zachary Tatlock Paperback

399,00 RON
+ 90,49 RON Livrare
  • product image

Qed At Large by Zachary Tatlock Paperback

  • Marcă: Unbranded
Vândut de:

Qed At Large by Zachary Tatlock Paperback

  • Marcă: Unbranded

399,00 RON

Doar 1 rămase în stoc
+ 90,49 RON Livrare

Politica de retur pe 14 zile

Vândut de:

399,00 RON

Doar 1 rămase în stoc
+ 90,49 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

Descriere

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.
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Lungime: 194
  • Limbă: English
  • Format: Paperback
  • Data publicării: 2019-09-03
  • Editor / Etichetă: now publishers Inc
  • Autor: Zachary Tatlock
  • ID Fruugo: 339417594-744581621
  • ISBN: 9781680835946

Livrări şi Returnări

Expediat în 24 de ore

  • STANDARD: 90,49 RON - Livrare între mar. 03 februarie 2026–lun. 09 februarie 2026

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare