The Correctness-by-construction Approach To Programming

1 649,00 kr
+ 171,99 kr Leverans

The Correctness-by-construction Approach To Programming

Säljs av:
  • product image

1 649,00 kr

I lager
+ 171,99 kr Leverans

14-dagars returpolicy

Köparskydd

Eller välj ett paket

Betalningsmetoder:

Produktinformation

Produktinformation

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.
  • Märke: Springer Nature B.V
  • Kategori: Datorer & Internet
  • Format: Hardcover
  • Publiceringsdatum: 2012-04-12
  • Sidantal: 280
  • Förläggare / Bolag: Springer Nature B.V
  • Språk: English
  • Författare: Derrick G. Kourie
  • Fruugo-ID: 557249032-1125518896
  • ISBN: 9783642279188
Löfte

Säljarens garanti

2 års lagstadgad garanti ingår

Dina EU-konsumenträttigheter inkluderar en kostnadsfri minst 2-årig lagstadgad garanti

Ladda ner lagstadgad garanti för överensstämmelse
Leverans

Leverans

Skickas inom 24 timmar

  • STANDARD: 226,94 kr - Leverans mellan kl tors 12 november 2026–mån 16 november 2026

Leverans från Storbritannien.

Returer

Returer och avbokningar

Returer

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna.

Visa fullständig returpolicy

Avbokningar

Du har rätt att ångra ditt köp inom 14 dagar från att du mottagit din beställning utan att ange någon anledning. För att enkelt utöva din rätt kan du använda länken "Avbryt min beställning" i sidfoten på varje sida eller i ditt Fruugo-konto under "Beställningar". När du har utnyttjat din ångerrätt skickar vi dig en e-postbekräftelse. Om din beställning redan har skickats av återförsäljaren kommer vi att förse dig med nödvändiga returinstruktioner för att säkerställa att din återbetalning behandlas snabbt.

Visa fullständig avbokningspolicy