Qed At Large by Zachary Tatlock Paperback

309,00 zł
+ 45,49 zł wysyłka
  • product image

Qed At Large by Zachary Tatlock Paperback

  • Marka: Unbranded
Sprzedawca:

Qed At Large by Zachary Tatlock Paperback

  • Marka: Unbranded
Cena: 309,00 zł
Sprzedawca:
309,00 zł
+ 45,49 zł wysyłka

Tylko 1 zostało w magazynie

Akceptujemy następujące metody płatności

Opis

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.
  • Marka: Unbranded
  • Kategoria: Komputery i Internet
  • Data wydania: 2019-09-03
  • Format: Paperback
  • Autor: Zachary Tatlock
  • Język: English
  • Długość: 194
  • Wydawca / Wytwórnia płytowa: now publishers Inc
  • Identyfikator Fruugo: 339417594-744581621
  • ISBN: 9781680835946

Dostawa i zwroty

Wysyłka w ciągu 24 godzin

  • STANDARD: 45,49 zł - Dostawa między wt. 14 października 2025–śr. 22 października 2025

Wysyłka z Wielka Brytania

Dokładamy wszelkich starań, aby zamówione produkty były dostarczane w całości i zgodnie z Państwa wymaganiami. Jeśli jednak otrzymają Państwo niekompletne zamówienie, przedmioty inne niż zamówione lub istnieje inny powód, dla którego nie są Państwo zadowoleni z zamówienia, mogą Państwo zwrócić zamówienie lub dowolne produkty objęte zamówieniem i otrzymać pełny zwrot kosztów za te przedmioty. Pokaż pełną politykę zwrotów