Qed At Large by Zachary Tatlock Paperback

89,00 €
+ 8,99 € Doručenie
  • product image

Qed At Large by Zachary Tatlock Paperback

  • Značka: Unbranded
Predáva:

Qed At Large by Zachary Tatlock Paperback

  • Značka: Unbranded
Cena: 89,00 €
Predáva:
89,00 €
+ 8,99 € Doručenie

Iba 1 zostáva na sklade

Akceptujeme nasledovné platobné metódy

Popis

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.
  • Značka: Unbranded
  • Kategória: Počítače a internet
  • Formátovať: Paperback
  • Jazyk: English
  • Dátum vydania: 2019-09-03
  • Autor: Zachary Tatlock
  • Dĺžka: 194
  • Vydavateľ / štítok: now publishers Inc
  • Fruugo ID: 339417594-744581621
  • ISBN: 9781680835946

Dodanie a vrátenie

Odoslané do 24 hodín

  • STANDARD: 8,99 € - Doručenie medzi ut 14 októbra 2025–št 16 októbra 2025

Doručenie od Spojené kráľovstvo.

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu. Pozrite si všetky pravidlá vrátenia