The Correctness-by-construction Approach To Programming

NOK 1 549,00
+ NOK 229,49 i frakt

The Correctness-by-construction Approach To Programming

Solgt av:
  • product image

NOK 1 549,00

På lager
+ NOK 229,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

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.
  • Fruugo-ID: 557249032-1125518896
  • ISBN: 9783642279188
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 229,49 - Levering mellom kl tir. 01 desember 2026–tor. 03 desember 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur