The Correctness-by-construction Approach To Programming

699,00 zł
+ 97,99 zł wysyłka

The Correctness-by-construction Approach To Programming

Sprzedawca:
  • product image

699,00 zł

W magazynie
+ 97,99 zł wysyłka

Polityka zwrotów w ciągu 14 dni

Ochrona kupującego

Metody płatności:

Szczegóły produktu

Szczegóły produktu

The Correctness-by-construction Approach To Programming

The Focus Of This Book Is On Bridging The Gap Between Two Extreme Methods For Developing Software. On The One Hand, There Are Texts And Approaches That Are So Formal That They Scare Off All But The Most Dedicated Theoretical Computer Scientists. On The Other, There Are Some Who Believe That Any Measure Of Formality Is A Waste Of Time, Resulting In Software That Is Developed By Following Gut Feelings And Intuitions.kourie And Watson Advocate An Approach Known As Correctness-by-construction, A Technique To Derive Algorithms That Relies On Formal Theory, But That Requires Such Theory To Be Deployed In A Very Systematic And Pragmatic Way.
  • Marka: Springer Nature B.V
  • Kategoria: Komputery i Internet
  • Data wydania: 2012-04-12
  • Format: Hardcover
  • Autor: Derrick G. Kourie
  • Język: English
  • Wydawca / Wytwórnia płytowa: Springer Nature B.V
  • Ilość stron: 280
  • Identyfikator Fruugo: 557249032-1125518896
  • ISBN: 9783642279188
Nasza obietnica

Gwarancja sprzedawcy

Wliczona 2-letnia gwarancja ustawowa

Twoje prawa konsumenckie w UE obejmują bezpłatną, co najmniej 2-letnią gwarancję ustawową

Pobierz dokument dotyczący gwarancji ustawowej
Dostawa

Dostawa

Wysyłka w ciągu 24 godzin

  • STANDARD: 121,04 zł - Dostawa między wt. 17 listopada 2026–wt. 24 listopada 2026

Wysyłka z Wielka Brytania

Zwroty

Zwroty i anulowanie

Zwroty

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

Anulacje

Masz prawo odstąpić od zakupu w ciągu 14 dni od otrzymania zamówienia bez podania przyczyny. Aby łatwo skorzystać z tego prawa, możesz skorzystać z linku „Anuluj moje zamówienie” w stopce każdej strony lub na swoim koncie Fruugo w sekcji „Zamówienia”. Po skorzystaniu z prawa do odstąpienia od umowy wyślemy Ci e-mail z potwierdzeniem. Jeśli Twoje zamówienie zostało już wysłane przez sprzedawcę, przekażemy Ci niezbędne instrukcje dotyczące zwrotu, aby zapewnić szybkie przetworzenie zwrotu.

Zobacz pełną politykę anulowania